[TYPES] Latex input mode

Stefan Monnier monnier at iro.umontreal.ca
Thu May 26 12:17:28 EDT 2005

>    \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).


More information about the Types-list mailing list