X-VM-v5-Data: ([nil nil nil nil nil nil nil nil nil] ["1230" "Mon" "5" "May" "1997" "16:20:02" "+0200" "Matthias Clasen" "mclasen@SUN2.MATHEMATIK.UNI-FREIBURG.DE" nil "29" "Re: Semantical writing (was: logical markup)" "^Date:" nil nil "5" 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.4) with ESMTP id QAA06163; Mon, 5 May 1997 16:20:36 +0200 (MET DST) Received: from yoda.gmd.de (192.88.97.2) by listserv.gmd.de (LSMTP for OpenVMS v1.1a) with SMTP id <5.B306A8AA@listserv.gmd.de>; Mon, 5 May 1997 16:20:24 +0200 Received: from RELAY.URZ.UNI-HEIDELBERG.DE by RELAY.URZ.UNI-HEIDELBERG.DE (LISTSERV-TCP/IP release 1.8b) with spool id 134592 for LATEX-L@RELAY.URZ.UNI-HEIDELBERG.DE; Mon, 5 May 1997 16:20:08 +0200 Received: from sun2.mathematik.uni-freiburg.de (sun2.mathematik.uni-freiburg.de [132.230.30.2]) by relay.urz.uni-heidelberg.de (8.7.6/8.7.4) with ESMTP id QAA05737 for ; Mon, 5 May 1997 16:20:07 +0200 (MET DST) Received: from localhost (mclasen@localhost) by sun2.mathematik.uni-freiburg.de (8.7.5/8.6.9) with SMTP id QAA13505 for ; Mon, 5 May 1997 16:20:03 +0200 (MET DST) X-Sender: mclasen@sun2 MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Message-ID: Reply-To: Mailing list for the LaTeX3 project In-Reply-To: Date: Mon, 5 May 1997 16:20:02 +0200 From: Matthias Clasen Sender: Mailing list for the LaTeX3 project To: Multiple recipients of list LATEX-L Subject: Re: Semantical writing (was: logical markup) Status: R X-Status: X-Keywords: X-UID: 2010 Hans Aberg writes: [...] > The idea is to sort out the names into different boxes, or modules, so > that they do not conflict. By the scheme, one can classify glyph renderings > and symbol semantics independently, and then link them together as an > independent step. > It is very clear that one can construct a macro layer over the actual font encodings to enable semantic tagging (I always thought most people would write their math in that way - at least I do). My question was strictly on the font encoding issue wether a new math font encoding standard should force font designers (always in the hope that there will be people designing new math fonts in the future) to design one glyph which is suitable as \setminus *and* as \backslash or if they should have the freedom to design different glyphs for the two different concepts. But I think it is clear that there will always be an element of compromise since there are infinitely many mathematical concepts which have to be mapped onto finitely many available glyphs. A guiding principle might be to provide two separate slots if the two concepts are likely to appear in the same context, so that giving them different glyphs might help to ease reading. Matthias