X-VM-v5-Data: ([nil nil nil nil nil nil nil nil nil] ["2260" "Sun" "13" "December" "1998" "23:04:35" "+0000" "Timothy Murphy" "tim@MATHS.TCD.IE" nil "64" "Re: portable LaTeX" "^Date:" nil nil "12" nil "portable LaTeX" nil nil nil] nil) Received: from listserv.gmd.de (listserv.gmd.de [192.88.97.1]) by mail.Uni-Mainz.DE (8.8.8/8.8.8) with ESMTP id AAA06719; Mon, 14 Dec 1998 00:12:09 +0100 (MET) Received: from lsv1.listserv.gmd.de (192.88.97.2) by listserv.gmd.de (LSMTP for OpenVMS v1.1a) with SMTP id <1.8CA920A0@listserv.gmd.de>; Mon, 14 Dec 1998 0:09:58 +0100 Received: from RELAY.URZ.UNI-HEIDELBERG.DE by RELAY.URZ.UNI-HEIDELBERG.DE (LISTSERV-TCP/IP release 1.8b) with spool id 412338 for LATEX-L@RELAY.URZ.UNI-HEIDELBERG.DE; Mon, 14 Dec 1998 00:04:37 +0100 Received: from salmon.maths.tcd.ie (mmdf@salmon.maths.tcd.ie [134.226.81.11]) by relay.urz.uni-heidelberg.de (8.8.8/8.8.8) with SMTP id AAA07353 for ; Mon, 14 Dec 1998 00:04:36 +0100 (MET) Received: from boole.maths.tcd.ie by salmon.maths.tcd.ie with SMTP id ; 13 Dec 98 23:04:35 +0000 (GMT) References: <199812130000.TAA29345@hilbert.math.albany.edu> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Mailer: Mutt 0.93.2i Message-ID: <19981213230435.A11347@maths.tcd.ie> Reply-To: Mailing list for the LaTeX3 project In-Reply-To: <199812130000.TAA29345@hilbert.math.albany.edu>; from William F. Hammond on Sat, Dec 12, 1998 at 07:00:48PM -0500 Date: Sun, 13 Dec 1998 23:04:35 +0000 From: Timothy Murphy Sender: Mailing list for the LaTeX3 project To: Multiple recipients of list LATEX-L Subject: Re: portable LaTeX Status: R X-Status: X-Keywords: X-UID: 3086 On Sat, Dec 12, 1998 at 07:00:48PM -0500, William F. Hammond wrote: > : As I understand it, *ML _parses_ (or tries to parse) maths, > > No. Well, what follows in your posting seems to me precisely an attempt to define a formal language for (ie to parse) mathematics. > I would suggest that in a latex-like document preamble one declare, > with something like "\mathsym" the symbols A, B, C, D either as having > a type such as "vertex" or else having a type such as "element of an > additive group". In other words, you are trying to parse mathematics. I don't know what "vertex" means, but there are many meanings that A B could have, eg A(B) [the value of the function A at B] or (A)B [the value of the function B at A] or the composition of two functions B and A or the composition of A and B, etc etc Are you going to require mathematicians to write f(x) [ie with brackets]? Can they write (x)f if they prefer? > : The question is, then: > : is it possible to parse mathematics, > : and if so, is it wise to try? > > Don't readers do it? You think that it's based on "visual > intelligence"? I don't know what "visual intelligence" is. Yes, a reader parses the mathematical document he is reading, though the word "parse" must be given a wider meaning than normal, to include eg graphical arguments which may be perfectly valid, as eg in categorical diagrams. However, the point is that the formal system used depends on the document, and on the subject matter. There is no "mathematical language" and never will be in my opinion. > : [It may be impossible, > : because it may be that mathematicians > : would refuse to be bound by any particular formal system put forward.] > > Ay, there's the rub -- certainly for many. Note in particular that > mathematical authors have incentive to provide MathML only if they > perceive that the *most helpless* of their readers who have browsers > also have MathML rendering. It seems to me much easier to design a browser that understands LaTeX, or DVI, or PDF, than to persuade mathematicians to write in MathML. Surely the computer should be the slave, not the master. -- Timothy Murphy e-mail: tim@maths.tcd.ie tel: +353-1-2842366 s-mail: School of Mathematics, Trinity College, Dublin 2, Ireland