W3C home > Mailing lists > Public > www-math@w3.org > September 1999

Re: Marking up Temporal Logic

From: Russell Steven Shawn O'Connor <roconnor@undergrad.math.uwaterloo.ca>
Date: Thu, 2 Sep 1999 11:59:57 -0400 (EDT)
To: Warren Searle <ucabwas@ucl.ac.uk>
cc: www-math@w3.org
Message-ID: <Pine.SOL.3.95q.990902111801.18935A-100000@markov.math.uwaterloo.ca>
On Thu, 2 Sep 1999, Warren Searle wrote:

> 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)

Character codes for Mathematical Operators are listed at
<http://charts.unicode.org/Unicode.charts/normal/U2200.html>.  Other
characters can be found by looking at
<http://charts.unicode.org/Unicode.charts/normal/Unicode.html>.

Characters can be added with hexidecimal entities (such as &#x2227; for
the AND operator) or the better supported decimal entites (such as
&#8743; for the AND operator).  Some entities can be named entities (such
as &and; for the AND operator).

You can find the named entites by looking at the specs at
<http://www.w3.org/TR/REC-html40/sgml/entities.html>, or at my friends
web page at
<http://www.csclub.uwaterloo.ca/u/mvcorks/code/charsets/named-entities.html>.

-- 
Russell O'Connor                           roconnor@uwaterloo.ca
       <http://www.undergrad.math.uwaterloo.ca/~roconnor/>
``And truth irreversibly destroys the meaning of its own message''
-- Anindita Dutta, ``The Paradox of Truth, the Truth of Entropy''
Received on Thursday, 2 September 1999 11:59:50 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Saturday, 20 February 2010 06:12:48 GMT