[TYPES] Latex input mode
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