X-VM-v5-Data: ([nil nil nil nil nil nil nil nil nil] ["1163" "Tue" "14" "October" "1997" "12:05:57" "+0200" "Hans Aberg" "haberg@MATEMATIK.SU.SE" nil "25" "LaTeX Syntax" "^Date:" nil nil "10" nil nil nil nil nil] nil) Received: from listserv.gmd.de (listserv.gmd.de [192.88.97.1]) by mail.Uni-Mainz.DE (8.8.5/8.8.5) with ESMTP id MAA19654; Tue, 14 Oct 1997 12:08:27 +0200 (MET DST) Received: from lsv1.listserv.gmd.de by listserv.gmd.de (LSMTP for OpenVMS v1.1a) with SMTP id <2.55923299@listserv.gmd.de>; Tue, 14 Oct 1997 12:08:24 +0200 Received: from RELAY.URZ.UNI-HEIDELBERG.DE by RELAY.URZ.UNI-HEIDELBERG.DE (LISTSERV-TCP/IP release 1.8b) with spool id 214787 for LATEX-L@RELAY.URZ.UNI-HEIDELBERG.DE; Tue, 14 Oct 1997 12:08:19 +0200 Received: from mail.nada.kth.se (root@mail.nada.kth.se [130.237.222.92]) by relay.urz.uni-heidelberg.de (8.8.7/8.8.7) with ESMTP id MAA19422 for ; Tue, 14 Oct 1997 12:08:17 +0200 (MET DST) Received: from [130.237.37.124] (sl98.modempool.kth.se [130.237.37.124]) by mail.nada.kth.se (8.8.7/8.8.4) with ESMTP id MAA08085 for ; Tue, 14 Oct 1997 12:08:15 +0200 (MET DST) X-Sender: su95-hab@mail.nada.kth.se Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Message-ID: Reply-To: Mailing list for the LaTeX3 project Date: Tue, 14 Oct 1997 12:05:57 +0200 From: Hans Aberg Sender: Mailing list for the LaTeX3 project To: Multiple recipients of list LATEX-L Subject: LaTeX Syntax Status: R X-Status: X-Keywords: X-UID: 2460 I think Mittelbach explained here that Lamport constructed LaTeX around a Pascal look-a-like syntax. I think that the LaTeX project (if not already done) should decide if this syntax should be official or not with respect to inputted code: If so, there should be tools, helping the user to ensure that the input syntax is correct. Let me illustrate the problem: I use to write \newcommand\foo{...} but the LaTeX syntax is (I think) \newcommand{\foo}{...} A spellchecker I use would expect the latter, and stop spellchecking entirely if it encounters the former. Now, if the syntax is official, this is correct behavior, but if it is unofficial (that is, something just used internally by the LaTeX design team), it is incorrect. In other words, the problem shows up in the interface between LaTeX and other programs. One such tool for recognizing the LaTeX syntax could be showing the source code in a text editor with styled text. But one would also expect some syntax checker being available. Hans Aberg * Email: Hans Aberg * AMS member listing: