W3C home > Mailing lists > Public > www-amaya@w3.org > April to June 2006

and another Amaya bug: symbols cannot be inside mi elements

From: Wolfgang Jeltsch <wolfgang@jeltsch.net>
Date: Wed, 21 Jun 2006 18:19:16 +0200
To: www-amaya@w3.org
Message-Id: <200606211819.16647.wolfgang@jeltsch.net>


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,
Received on Wednesday, 21 June 2006 16:19:37 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:30:51 UTC