Search results for “site:lists.w3.org”

About 3 results

lists.w3.org Archives › Public › www-svg

www-svg@w3.org Mail Archives

Access mail archives by date, thread, author and subject period re-sorted messages August 2025 by thread by author by subject 8 July 2025 15 June 2025 9 May 2025 April 2025 14 March 2025 10 February 2025 11 January 2025 December 2024 November 2024 October 2024 September 2024 August 2024 July 2024...

Save: www-svg@w3.org Mail Archives
lists.w3.org Archives › Public › www-math › msg00496.html

Marking up Temporal Logic from Warren Searle on 1999-09-02 (www-math@w3.org from September 1999)

I was hoping someone might be able to advise me on how I can quickly markup some basic first-order temporal logic equations to be included on a web document. I guess I need to use the character codes for the operators I need but is there an easy way to find these out (I don't think it matters was...

Try “site:lists.w3.org” on: Marginalia · Mojeek · Wiby · DuckDuckGo · Bing · Google · Wikipedia · Internet Archive