MathML, Firefox, and Firemath
Posted May 3, 2011 22:50 UTC (Tue) by Tobu
In reply to: MathML, Firefox, and Firemath
Parent article: MathML, Firefox, and Firemath
Content MathML looks like typed lambda calculus. Presentation MathML is much more concise for this expression, and can be mapped to Content MathML and back again, but Presentation MathML can only prettify a limited set of already defined operators. On the other hand Content MathML can define new operators and use the already defined operators as functional values, for example defining Knuth's double arrow operator using <power/> and some <recursion/> combinator (both are normal values for lambda calculus).
to post comments)