and another Amaya bug: symbols cannot be inside mi elements

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.  
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.

Best wishes,
Wolfgang