Allow 'raw' option to LaTeX munger commands

[mn200]

This raw option would cause it to print stuff like

!x. P x ==> Q x

rather than the pretty, Unicoded

∀x. P x ⇒ Q x

that would current appear.

This would be useful for documentation purposes.

Want to back this issue? Post a bounty on it! We accept bounties via Bountysource.