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 _________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
