Re: inference rule markup?

Dan writes,

> If you'll point
> me to some documentation of those tex/latex idioms
> [I've been searching/surfing/googling without much luck]
> and maybe let me look at the tex source of that algebra
> paper, I'll try to design some XHTML/MathML dialect

This is a great idea, but I'm not sure things have reached
a stable point where we know what should be in the dialect.

For your interest, I include the sources of the MSL paper,
so you can have some idea what things look like.

Cheers,  -- P