In response to the user feedback, it would be worthwhile investigating the viability of plugging an existing equation editor into Igloo and defining a more abstract method of specifying theorems in PGIP than is currently possible.
One promising equation editor is Jex,
written in Java
and used by OpenOffice. It can output either
MathML or Latex formats.
If PGIP were to adopt the use of MathML
for theorem
specifications, then Jex would be ideal. It may be
possible to use Jex even if the entirety of
MathML
is not supported by PGIP.
|
|
|