[TYPES] Latex input mode

[Stefan Monnier]

>    \Gamma\vdash\lambda x.x : \forall \alpha. \alpha\rightarrow\alpha

> Since now Unicode characters are accepted by more and more e-mail clients,
> I thought it would be nice if every time I write a line such as the above,
> then the formula as it would be typeset in latex were displayed instead.
> So I wrote an iiimf input table that does it. You type the line above and
> your mailer prints

>     Γ ⊢ λx.x : ∀α.α→α

For what it's worth, Emacs's "TeX" input method does also just that (but it
of course only works within Emacs).


        Stefan