Recent Features
| |||||||||||||
MathML, Firefox, and FiremathMathML, Firefox, and FiremathPosted May 3, 2011 22:50 UTC (Tue) by Tobu (subscriber, #24111)In reply to: MathML, Firefox, and Firemath by fsateler 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).
(Log in to post comments)
|
|||||||||||||