[Prev][Next][Index][Thread]
Marking up Temporal Logic
-
To: www-math@w3.org
-
Subject: Marking up Temporal Logic
-
From: Warren Searle <ucabwas@ucl.ac.uk>
-
Date: Thu, 02 Sep 1999 14:47:43 +0100
-
From www-math-request@tux.w3.org Thu Sep 2 09: 48:04 1999
-
Organization: University College London
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
character encoding standard I use)
Thank you loads!
Warren
Follow-Ups: