Re: Math Notations, Computer Languages, and the “Form” in Formalism

[fortunatus]

On Sep 7, 3:06 pm, Xah Lee <xah... at gmail.com> wrote:
...
> • systems for displaying math, such as TeX, Mathematica, MathML,
> should be unified as part of the computer language's syntax.
...
> ☄

to that end you might be interested in Fortress at Sun:

http://projectfortress.sun.com/Projects/Community
http://research.sun.com/projects/plrg/fortress.pdf
http://research.sun.com/spotlight/2007/2007-01-10_fortress.html