[plt-dev] Unicode is a pain

From: Carl Eastlund (cce at ccs.neu.edu)
Date: Tue Sep 15 18:58:30 EDT 2009

Specifically, can we please give "new-∃/c" an ascii alias such as
"new-existential/c"?  Or if such a thing already ∃, it needs to be
documented.  My desk is not big enough yet for a full unicode
keyboard.  More generally, unicode names are fine but we're not
"there" yet; we should always have ascii alternatives.  Thanks!

Carl Eastlund

Posted on the dev mailing list.