[texhax] Left aligning the maths environment

[Uwe Lück]

Just saw in the LaTeX Companion: have you considered
Martin Ward's program package (CTAN/macros/latex/contrib/program),
maybe together with lineno.sty?

Kind regards, Uwe.

At 22:50 26.07.06, James Smith wrote:

>I'm writing some code listings and have used the verbatim environment
>for the pseudo-code listings which works fine. I now have to re-write
>the listings ``mathematically'' with more abstract syntax and
>mathematical equations (assertions, actually) to the right of each line
>of code.