Received: from webgate.proteosys.de (mail.proteosys-ag.com [62.225.9.49]) by lucy.proteosys (8.11.0/8.9.3/SuSE Linux 8.9.3-0.1) with ESMTP id f0V7bl715915 for ; Wed, 31 Jan 2001 08:37:47 +0100 Received: by webgate.proteosys.de (8.11.0/8.11.0) with ESMTP id f0V7cV730318 . for ; Wed, 31 Jan 2001 08:38:35 +0100 Received: from mail.Uni-Mainz.DE (mailserver1.zdv.Uni-Mainz.DE [134.93.8.30]) by mailgate2.zdv.Uni-Mainz.DE (8.11.0/8.10.2) with ESMTP id f0V7bg700637 for ; Wed, 31 Jan 2001 08:37:42 +0100 (MET) MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----_=_NextPart_001_01C08B58.B49DD780" Received: from mailgate1.zdv.Uni-Mainz.DE (mailgate1.zdv.Uni-Mainz.DE [134.93.8.56]) by mail.Uni-Mainz.DE (8.9.3/8.9.3) with ESMTP id IAA02294 for ; Wed, 31 Jan 2001 08:37:42 +0100 (MET) Received: from mail.listserv.gmd.de (mail.listserv.gmd.de [192.88.97.5]) by mailgate1.zdv.Uni-Mainz.DE (8.11.0/8.10.2) with ESMTP id f0V7bgM23665 for ; Wed, 31 Jan 2001 08:37:42 +0100 (MET) X-MimeOLE: Produced By Microsoft Exchange V6.5 Received: from mail.listserv.gmd.de (192.88.97.5) by mail.listserv.gmd.de (LSMTP for OpenVMS v1.1a) with SMTP id <11.865063D8@mail.listserv.gmd.de>; Wed, 31 Jan 2001 8:37:35 +0100 Received: from RELAY.URZ.UNI-HEIDELBERG.DE by RELAY.URZ.UNI-HEIDELBERG.DE (LISTSERV-TCP/IP release 1.8b) with spool id 485102 for LATEX-L@RELAY.URZ.UNI-HEIDELBERG.DE; Wed, 31 Jan 2001 08:37:32 +0100 Received: from ix.urz.uni-heidelberg.de (mail.urz.uni-heidelberg.de [129.206.119.234]) by relay.urz.uni-heidelberg.de (8.8.8/8.8.8) with ESMTP id IAA12362 for ; Wed, 31 Jan 2001 08:37:31 +0100 (MET) Received: from relay.uni-heidelberg.de (relay.uni-heidelberg.de [129.206.100.212]) by ix.urz.uni-heidelberg.de (8.8.8/8.8.8) with ESMTP id IAA55806 for ; Wed, 31 Jan 2001 08:37:32 +0100 Received: from moutvdom01.kundenserver.de (moutvdom01.kundenserver.de [195.20.224.200]) by relay.uni-heidelberg.de (8.10.2+Sun/8.10.2) with ESMTP id f0V7bWp25199 for ; Wed, 31 Jan 2001 08:37:32 +0100 (MET) Received: from [195.20.224.220] (helo=mrvdom04.kundenserver.de) by moutvdom01.kundenserver.de with esmtp (Exim 2.12 #2) id 14NrpW-0003aQ-00 for LATEX-L@urz.uni-heidelberg.de; Wed, 31 Jan 2001 08:37:26 +0100 Received: from manz-3e364639.pool.mediaways.net ([62.54.70.57] helo=istrati.zdv.uni-mainz.de) by mrvdom04.kundenserver.de with esmtp (Exim 2.12 #2) id 14NrpW-0003c9-00 for LATEX-L@URZ.UNI-HEIDELBERG.DE; Wed, 31 Jan 2001 08:37:27 +0100 Received: (from latex3@localhost) by istrati.zdv.uni-mainz.de (8.9.3/8.9.3/SuSE Linux 8.9.3-0.1) id HAA31876; Wed, 31 Jan 2001 07:49:51 +0100 In-Reply-To: <200101310003.BAA02073@peano.cs.uni-dortmund.de> References: <200101292234.RAA14964@pluto.math.albany.edu> <14967.8829.903878.620595@istrati.zdv.uni-mainz.de> <200101310003.BAA02073@peano.cs.uni-dortmund.de> Return-Path: X-Mailer: VM 6.75 under Emacs 20.4.1 X-Authentication-Warning: istrati.zdv.uni-mainz.de: latex3 set sender to frank@mittelbach-online.de using -f Content-class: urn:content-classes:message Subject: Re: inputenc -> text+math Date: Wed, 31 Jan 2001 07:49:51 +0100 Message-ID: <14967.46479.253389.421142@istrati.zdv.uni-mainz.de> X-MS-Has-Attach: X-MS-TNEF-Correlator: From: "Frank Mittelbach" Sender: "Mailing list for the LaTeX3 project" To: "Multiple recipients of list LATEX-L" Reply-To: "Mailing list for the LaTeX3 project" Status: R X-Status: X-Keywords: X-UID: 3676 This is a multi-part message in MIME format. ------_=_NextPart_001_01C08B58.B49DD780 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable > I do not yet understand whether there are any strong objections to > making them work in both modes, e.g., > \ifmmode \frac 12 \else \textonehalf \fi or, resp., > \ifmmode ^1 \else \textonesuperior \fi > > The strict division suggests that something is very wrong with this. > What? for "symbols" like the above this can in fact be done this way and a few symbols hare "historically defined this way, ie \pounds -> \relax\ifmmode\mathsterling\else\textsterling but you need the \relax to ensure that the right thing happens at the beginning of tabular cells (timing problem in \halign) and this is the problem: you can't do that to "letters", the use of = \relax there prohibits potential ligatures and not doing it means your = definition produce wrong results or blow up in certain situations which is why i prefer a "simple" rule: - you can use in math only visible ascii directly (further restricted = by what LaTeX uses for controls, eg \_^$...); anything else has to be done via = csnames eg \times \pm \alpha ... - any 8bit is mapped to text only frank ------_=_NextPart_001_01C08B58.B49DD780 Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Re: inputenc -> text+math

 > I do not yet understand whether there are = any strong objections to
 > making them work in both modes, = e.g.,
 >         = \ifmmode \frac 12 \else \textonehalf = \fi        or, resp.,
 >         = \ifmmode ^1       \else \textonesuperior = \fi
 >
 > The strict division suggests that = something is very wrong with this.
 > What?

for "symbols" like the above this can in = fact be done this way and a few
symbols hare "historically defined this way, = ie

\pounds -> = \relax\ifmmode\mathsterling\else\textsterling

but you need the \relax to ensure that the right thing = happens at the
beginning of tabular cells (timing problem in = \halign)

and this is the problem: you can't do that to = "letters", the use of \relax
there prohibits potential ligatures and not doing it = means your definition
produce wrong results or blow up in certain = situations

which is why i prefer a "simple" = rule:

 - you can use in math only visible ascii = directly (further restricted by what
LaTeX uses for controls, eg \_^$...); anything else = has to be done via csnames
eg \times \pm \alpha ...

 - any 8bit is mapped to text only


frank

------_=_NextPart_001_01C08B58.B49DD780--