[TYPES] Latex input mode

[Bill Rounds]

I hate to brag, but those of us with Mac OS X can enter simple  
formulas  right in Mail. Just
choose Special Characters from the Edit menu. Double click on the  
character you want.

Bill

∃  a better solution?


On May 26, 2005, at 11:31 AM, Geoffrey Alan Washburn wrote:

> [The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/ 
> types-list]
>
> 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/]
>
>