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 f4HHaaf09409 for ; Thu, 17 May 2001 19:36:36 +0200 Received: by webgate.proteosys.de (8.11.0/8.11.0) with ESMTP id f4HHaZ708079 . for ; Thu, 17 May 2001 19:36:35 +0200 Received: from mail.Uni-Mainz.DE (mailserver1.zdv.Uni-Mainz.DE [134.93.8.30]) by mailgate1.zdv.Uni-Mainz.DE (8.11.0/8.10.2) with ESMTP id f4HHaYU06899 for ; Thu, 17 May 2001 19:36:34 +0200 (MET DST) MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----_=_NextPart_001_01C0DEF7.EBC1AA00" 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 TAA13737 for ; Thu, 17 May 2001 19:36:34 +0200 (MEST) X-MimeOLE: Produced By Microsoft Exchange V6.5 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 f4HHaXU06893 for ; Thu, 17 May 2001 19:36:33 +0200 (MET DST) Received: from mail.listserv.gmd.de (192.88.97.5) by mail.listserv.gmd.de (LSMTP for OpenVMS v1.1a) with SMTP id <8.E76165EB@mail.listserv.gmd.de>; Thu, 17 May 2001 19:34:51 +0200 Received: from RELAY.URZ.UNI-HEIDELBERG.DE by RELAY.URZ.UNI-HEIDELBERG.DE (LISTSERV-TCP/IP release 1.8b) with spool id 495932 for LATEX-L@RELAY.URZ.UNI-HEIDELBERG.DE; Thu, 17 May 2001 19:36:29 +0200 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 TAA03724 for ; Thu, 17 May 2001 19:36:28 +0200 (MET DST) 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 TAA36818 for ; Thu, 17 May 2001 19:36:29 +0200 Received: from hromeo.algonet.se (hromeo.algonet.se [194.213.74.51]) by relay.uni-heidelberg.de (8.10.2+Sun/8.10.2) with SMTP id f4HHaSP27674 for ; Thu, 17 May 2001 19:36:28 +0200 (MET DST) Received: (qmail 15412 invoked from network); 17 May 2001 19:36:28 +0200 Received: from delenn.tninet.se (HELO algonet.se) (195.100.94.104) by hromeo.algonet.se with SMTP; 17 May 2001 19:36:28 +0200 Received: from [195.100.226.134] (du130-226.ppp.su-anst.tninet.se [195.100.226.130]) by delenn.tninet.se (BLUETAIL Mail Robustifier 2.2.2) with ESMTP id 66435.120987.990delenn-s0 for ; Thu, 17 May 2001 19:36:27 +0200 Return-Path: X-Sender: haberg@pop.matematik.su.se x-mime-autoconverted: from quoted-printable to 8bit by relay.urz.uni-heidelberg.de id TAA03725 Content-class: urn:content-classes:message Subject: Re: Multilingual Encodings Summary 2.2 Date: Thu, 17 May 2001 18:36:19 +0100 Message-ID: X-MS-Has-Attach: X-MS-TNEF-Correlator: From: "Hans Aberg" 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: 4079 This is a multi-part message in MIME format. ------_=_NextPart_001_01C0DEF7.EBC1AA00 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable At 18:59 +0200 2001/05/17, Lars Hellstr=F6m wrote: >>The \epsilon and \varepsilon are definitely semantically different in >>(pure) math, > >Are they? Please give a verifiable example! Here are two examples: $\epsilon\varepsilon R$ $\varepsilon R$ Today one would probably write one of $\epsilon\in R$ $\varepsilon\in R$ (perhaps with $R$ in black-board bold). Also remember, if \epsilon and \varepsilon were semantically the same, = as in language, then you could interchange them freely in formulas. Cf. the word "sin": If it is in English, altering it to say boldface does not change the semantics. But if you do that in math it is probably the sine function applied to some other math object (like matrices or something). Hans Aberg ------_=_NextPart_001_01C0DEF7.EBC1AA00 Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Re: Multilingual Encodings Summary 2.2

At 18:59 +0200 2001/05/17, Lars Hellstr=F6m = wrote:
>>The \epsilon and \varepsilon are definitely = semantically different in
>>(pure) math,
>
>Are they? Please give a verifiable = example!

Here are two examples:
  $\epsilon\varepsilon R$
  $\varepsilon R$

Today one would probably write one of
  $\epsilon\in R$
  $\varepsilon\in R$
(perhaps with $R$ in black-board bold).

Also remember, if \epsilon and \varepsilon were = semantically the same, as
in language, then you could interchange them freely = in formulas. Cf. the
word "sin": If it is in English, altering = it to say boldface does not
change the semantics. But if you do that in math it = is probably the sine
function applied to some other math object (like = matrices or something).

  Hans Aberg

------_=_NextPart_001_01C0DEF7.EBC1AA00--