[TYPES] Latex input mode

Geoffrey Alan Washburn geoffw at cis.upenn.edu
Thu May 26 12:31:51 EDT 2005

Giuseppe Castagna wrote:

> which is far more readable (if your correspondent can read utf8, of 
> course). So if you use an e-mail client that accepts Unicode (e.g. 
> Mozilla, Thunderbird, Evolution, ...) and have iiimf unit input modes 
> (all Linux distributions use it, I do not know whether other OS do), 
> you may be interested to install it: it is just the matter of copying 
> two files in the right place and adding two lines in a config file. It 
> is available at http://www.di.ens.fr/users/castagna/iiimf-latex.tar.gz
> I apologize with the persons not concerned by this mail.

    Another option for those interested in delving into the world of 
Unicode is a set of macros I developed for the Vim editor that does 
roughly the same thing as Giuseppe's input mode, but at a different 
level.  You can grab script to do this from 
http://www.cis.upenn.edu/~geoffw/corpus/unicode.vim.  I have found this 
particular useful in writing signatures for the Twelf logical framework, 
but it should also work with Java, for example, or any other language 
that accepts UTF8 strings.  It also includes functionality for 
converting the UTF8 symbols it understands back into the appropriate 
(La)TeX commands, if you wanted to use the package for editing (La)TeX 
documents.  I have heard that a similar package exists for emacsen, but 
I have no personal experience with it.  The primary problem I have found 
is that there is simply not a quality monospaced Unicode font with a 
wide selection of symbols. 

    I might as well take the opportunity to also push the dictionary 
file I have been developing for documents related to programming 
languages, type theory, logic, mathematics, and computer science.  That 
can be obtained from 
http://www.cis.upenn.edu/~geoffw/corpus/dictionary-1.01.txt and is 
presently in ispell format.  I hope there are no mistakes, but 
corrections and additions in the form of diffs are very welcome.

[Geoff Washburn|geoffw at cis.upenn.edu|http://www.cis.upenn.edu/~geoffw/]

More information about the Types-list mailing list