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.
Home » Uncategorized » derivations in LaTeX