| 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. |
|
![[logo]](/logo.png){kind=logo}