Re: Extended ASCII

[Freek Wiedijk <freek@cs.kun.nl>]

Piotr Rudnicki wrote:

>Probably 0 will win but I would like \0 better.  Similarly
>for #238 my choice would be \in.

I consider backslashes to be very ugly.  I'd prefer the empty
set to be "0" (or if it has to be distinguished from 0 for
typing reasons: "empty") and the #238 to be "in".


For instance:

  for x holds not x in 0;

or:

  for x holds not x in empty;

seems more uniform to me (typographically) than:

  for x holds not x \in \0;


Freek Wiedijk