Re: Marking up Temporal Logic

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