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
characters can be found by looking at
Characters can be added with hexidecimal entities (such as ∧ for
the AND operator) or the better supported decimal entites (such as
∧ for the AND operator). Some entities can be named entities (such
as ∧ 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
Russell O'Connor email@example.com
``And truth irreversibly destroys the meaning of its own message''
-- Anindita Dutta, ``The Paradox of Truth, the Truth of Entropy''