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 f4HGWbf09233 for ; Thu, 17 May 2001 18:32:37 +0200 Received: by webgate.proteosys.de (8.11.0/8.11.0) with ESMTP id f4HGWV707787 . for ; Thu, 17 May 2001 18:32:31 +0200 MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----_=_NextPart_001_01C0DEEE.FB88C080" 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 f4HGWR002624 for ; Thu, 17 May 2001 18:32:27 +0200 (MET DST) 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 SAA29939 for ; Thu, 17 May 2001 18:32:27 +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 f4HGWQU02010 for ; Thu, 17 May 2001 18:32:27 +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 <6.F2A2724A@mail.listserv.gmd.de>; Thu, 17 May 2001 18:30:44 +0200 Received: from RELAY.URZ.UNI-HEIDELBERG.DE by RELAY.URZ.UNI-HEIDELBERG.DE (LISTSERV-TCP/IP release 1.8b) with spool id 495884 for LATEX-L@RELAY.URZ.UNI-HEIDELBERG.DE; Thu, 17 May 2001 18:32:23 +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 SAA03109 for ; Thu, 17 May 2001 18:32:22 +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 SAA69452 for ; Thu, 17 May 2001 18:32:22 +0200 Received: from csc.albany.edu (sarah.albany.edu [169.226.1.103]) by relay.uni-heidelberg.de (8.10.2+Sun/8.10.2) with ESMTP id f4HGWKP11030 for ; Thu, 17 May 2001 18:32:21 +0200 (MET DST) Received: from pluto.math.albany.edu (pluto.math.albany.edu [169.226.23.44]) by csc.albany.edu (8.11.2/8.11.2) with ESMTP id f4HGWFU20458 for ; Thu, 17 May 2001 12:32:16 -0400 (EDT) Received: (from hammond@localhost) by pluto.math.albany.edu (8.11.2/8.11.2) id f4HGWG902134 for LATEX-L@URZ.UNI-HEIDELBERG.DE; Thu, 17 May 2001 12:32:16 -0400 (EDT) Return-Path: Content-class: urn:content-classes:message Subject: Re: Multilingual Encodings Summary 2.2 Date: Thu, 17 May 2001 17:32:16 +0100 Message-ID: <200105171632.f4HGWG902134@pluto.math.albany.edu> X-MS-Has-Attach: X-MS-TNEF-Correlator: From: "William F. Hammond" 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: 4076 This is a multi-part message in MIME format. ------_=_NextPart_001_01C0DEEE.FB88C080 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable I think that we might want to look ahead to the time of having freely available DVI readers in which we can search for symbols inside math zones. How might that work? Point the "mouse" (or the light pencil or ...) at the symbol. If there is an underlying and "identified" symbol, a name for that symbol in ordinary word-characters(*) (in the sense of international character sets) is disclosed by the DVI reader to the user in some way. In order for that string to be disclosed, the author would need to have provided it; for the most part it is not there now except possibly in someone's dvi special. When I pointed to the Connolly note several days ago, it was because Connolly there takes the attitude that a character is any "atom" of information. Mathematicians clearly need to be able to create their own characters in this sense. So, for example, in gellmu one might have, along the lines suggested by Roozbeh, \mathsym{\imag}{\mbox{i}} \mathsym{\ii}{i} where \imag and \ii can only be used inside math (but since gellmu is really SGML one relies on the validator rather than on \ensuremath), and the word-character strings "imag" and "ii" become the names of searchable symbols (if that is what the author wants). (Of course, we all know that the name "\i" is already taken.) Note, however, these two examples might get merged in some presentation formats such as "text/chalk-talk". The optional third argument of \mathsym is for semantic information that could be used locally on an author's platform to make things come out right in MathML. -- Bill * The notion of word-character in the context of international character sets exists in GNU Emacs, version 20+, for use with regular expressions, i.e., \w matches any word character and \W matches any non-word-character. (There still may be the opportunity at this stage for quibbling about the exact nature of the concept.) ------_=_NextPart_001_01C0DEEE.FB88C080 Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Re: Multilingual Encodings Summary 2.2

I think that we might want to look ahead to the time = of having freely
available DVI readers in which we can search for = symbols inside math
zones.

How might that work?

Point the "mouse" (or the light pencil or = ...) at the symbol.  If
there is an underlying and "identified" = symbol, a name for that symbol
in ordinary word-characters(*) (in the sense of = international
character sets) is disclosed by the DVI reader to the = user in some
way.  In order for that string to be disclosed, = the author would need
to have provided it; for the most part it is not = there now except
possibly in someone's dvi special.

When I pointed to the Connolly note several days ago, = it was because
Connolly there takes the attitude that a character is = any "atom" of
information.  Mathematicians clearly need to be = able to create their
own characters in this sense.

So, for example, in gellmu one might have, along the = lines suggested
by Roozbeh,

\mathsym{\imag}{\mbox{i}}
\mathsym{\ii}{i}

where \imag and \ii can only be used inside math (but = since gellmu is
really SGML one relies on the validator rather than = on \ensuremath),
and the word-character strings "imag" and = "ii" become the names of
searchable symbols (if that is what the author = wants).  (Of course,
we all know that the name "\i" is already = taken.)

Note, however, these two examples might get merged in = some presentation
formats such as "text/chalk-talk".

The optional third argument of \mathsym is for = semantic information
that could be used locally on an author's platform to = make things come
out right in MathML.

          &nbs= p;            = ;            =    -- Bill

* The notion of word-character in the context of = international
character sets exists in GNU Emacs, version 20+, for = use with regular
expressions, i.e., \w matches any word character and = \W matches any
non-word-character.  (There still may be the = opportunity at this stage
for quibbling about the exact nature of the = concept.)

------_=_NextPart_001_01C0DEEE.FB88C080--