- From: David Carlisle <davidc@nag.co.uk>
- Date: Thu, 2 Sep 1999 18:48:41 +0100 (BST)
- To: hammond@csc.albany.edu
- CC: www-math@w3.org

>> What operators do you need? I am unfamiliar with first order temporal >> logic. Lots of boxes both white and black, possibly rotated through 45 degrees, and possibly having a circle of the contrasting colour in the middle. (If the original poster is in the same area of TL as I once once associated:-) The temporal logicians I knew mainly used a set of symbols constructed from either latex picture mode or a home grown type3 font. Most latex->html programs would be distinctly unhappy converting this to anything. > (On this point: has anyone done the interesting exercise of using this > approach to make a dvi that is suited mainly for translation back to > TeX [or LaTeX] with reasonable equivalence to the original?) One of the examples Gurari/Rahtz transform to is an XML DTD that is essentially a XML rendition of latex article, so yes, you could transform from that back to tex if you wished. David

Received on Thursday, 2 September 1999 13:52:31 UTC