From: David Carlisle <davidc@nag.co.uk>

Date: Thu, 2 Sep 1999 18:48:41 +0100 (BST)

Message-Id: <199909021748.SAA18024@nag.co.uk>

To: hammond@csc.albany.edu

CC: www-math@w3.org

Date: Thu, 2 Sep 1999 18:48:41 +0100 (BST)

Message-Id: <199909021748.SAA18024@nag.co.uk>

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. DavidReceived on Thursday, 2 September 1999 13:52:31 UTC

*
This archive was generated by hypermail 2.3.1
: Tuesday, 6 January 2015 21:27:29 UTC
*