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

Re: Marking up Temporal Logic

From: Richard J. Fateman <fateman@CS.Berkeley.EDU>
Date: Thu, 2 Sep 1999 08:11:07 -0700 (PDT)
Message-Id: <199909021511.IAA07980@peoplesparc.CS.Berkeley.EDU>
To: ucabwas@ucl.ac.uk
Cc: www-math@w3.org
write your equations in TeX. Convert dvi to pdf and assume your
recipients have a (free) copy of Acrobat.

Easy, if you have the software and the (minimal) knowhow.

Alternatively, convert your stuff to a GIF.

Alternatively, convert to html and hope that your recipient's
browser has the right capabilities and fonts.  This is more
risky.
There are lots of people thinking about these alternatives,
but having looked at some of them, I suspect they will not
approach the pdf quality and general availability.

(You could avoid TeX and use (say) MS Word's Equation or
Mathtype or ... but then you should still convert to pdf.
By the way, it seems that pdf / acrobat reader recent versions
supports many features of browsers... links, etc. even plug-ins.

This may make it more interesting than our own efforts.
(Amaya as a browser may do xml math, but what about the restr
of the stuff done by Netscape etc.)
Richard Fateman
Received on Thursday, 2 September 1999 11:11:29 GMT

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