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.