[TYPES] Latex input mode
rounds at mac.com
Thu May 26 14:21:36 EDT 2005
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.
∃ 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/
> 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/
>> 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/
More information about the Types-list