Re: and another Amaya bug: symbols cannot be inside mi elements

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