- From: Irene Vatton <Irene.Vatton@inrialpes.fr>
- Date: Fri, 23 Jun 2006 15:04:21 +0200
- To: Wolfgang Jeltsch <wolfgang@jeltsch.net>
- Cc: www-amaya@w3.org
On Wednesday 21 June 2006 18:19, Wolfgang Jeltsch wrote:
> Hello,
>
> platform and Amaya version don't have changed meanwhile.
>
> A rather serious bug in Amaya is the inability to declare a symbol in a
> formula as being an identifier. An example where you need to be able to do
> so are texts about LR(k) parsing. The control function of an LR(k) parser
> may return a special value which is denoted by an arrow which points down.
↓ by example
> Since this arrow denotes a constant, it's an identifier and therefore has
> to be inside an mi element. Alas, I cannot see any way to realize this
> with the current Amaya version.
You can insert this down arrow either with the "Special characters" panel
(last list) or as an entity. It's inserted as an operator, but you can select
the operator element with the Esc (or F2) key and select the Basic element >
Indentifier entry (shortcut Ctrl m d) to transform the operator into an
identifier.
--
Irène.
-----
Irène Vatton INRIA Rhône-Alpes
INRIA ZIRST
e-mail: Irene.Vatton@inria.fr 655 avenue de l'Europe
Tel.: +33 4 76 61 53 61 Montbonnot
Fax: +33 4 76 61 52 07 38334 Saint Ismier Cedex - France
Received on Friday, 23 June 2006 13:09:44 UTC