It has that funny name because you shouldn't have to type it much (only people writing contract systems (ie, Stevie) should need it).
Plus, I think its name is wrong anyways, and will have to change, but not in a way you'd like :) Also typing "new-\exists<alt-\>/c" is shorter than what you propose. Robby On Tue, Sep 15, 2009 at 5:58 PM, Carl Eastlund <c...@ccs.neu.edu> wrote: > 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 > _________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
