This messes me up when I'm writing actual LaTeX because I keep writing `\A` instead of `\forall`

EDIT: Also that spec uses a lot of really interesting techniques, such that doing a breakdown would be a good Blub study. Off to the typewriter!