help-gnu-emacs
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Look for input method for mathematics letter.


From: Francesco Mazzoli
Subject: Re: Look for input method for mathematics letter.
Date: Wed, 11 Jul 2012 11:13:43 +0100
User-agent: Wanderlust/2.15.9 (Almost Unreal) SEMI/1.14.6 (Maruoka) FLIM/1.14.9 (Gojō) APEL/10.8 Emacs/23.3 (x86_64-pc-linux-gnu) MULE/6.0 (HANACHIRUSATO)

At Tue, 10 Jul 2012 22:45:18 +0300,
Oleksandr Gavenko wrote:
> UTF define certain range for especially styled Latin alphabet:
> 
>   http://en.wikipedia.org/wiki/Mathematical_alphanumeric_symbols
> 
> How they can be typed in Emacs?

agda2-mode comes with a very convenient latex input mode that lets you insert
symbols as you would in latex (e.g. \rightarrow - or abbreviated \r).

If you don't want to install Agda (which is understandable) I think that this
file will work:
http://code.haskell.org/Agda/src/data/emacs-mode/agda-input.el .

--
Francesco * Often in error, never in doubt



reply via email to

[Prev in Thread] Current Thread [Next in Thread]