Re: Extended ASCII

[Piotr Rudnicki <piotr@cs.ualberta.ca>]

Freek wrote:

> I hope and expect that Unicode will succeed.  Still, even
> then I think it would be a good idea to have a "8-bit ascii"
> representation of Mizar text, in order to be able to edit it
> in old-fashioned editors (like, say, the Turbo Pascal editor,
> or like, say, vi.)  Maybe something with, hm, backslashes? :-)
> 
> If you want to prepare for Unicode, then "in" should become
> something like "\element_of" (or "#element of#"?)  Because
> this symbol is Unicode character 0x2208, which has official
> Unicode name "ELEMENT OF" (see:
> <http://charts.unicode.org/Unicode.charts/normal/U2200.html>.)

The name of the character is unimportant.  The idea is that the
editor should display the glyph of the character appropriately.
Then one faces the problem of how to enter 2-byte characters from
a regular keyboard.  I do not think there is any standard for
it.  However, in MULE (Emacs) one can do it using a variety
of input methods (I have no experience with it though).

-- 
Piotr Rudnicki