Home » Uncategorized » derivations in LaTeX

derivations in LaTeX

I have just posted a new and (much) improved version of Typing Derivations in \LaTeX. \LaTeX is not for everyone. But using it for derivations has many advantages — especially later in the text, as derivations increase in length and complexity, something like it becomes a practical necessity.

Leave a comment

Your email address will not be published. Required fields are marked *