Ralf Hemmecke <[EMAIL PROTECTED]> writes: > If I am allowed to dream then I would like to be able to write something like > > (x: A) \oplus (y: A): A == ... > > (with \oplus being the actual (unicode) character for that operator). > > Of course that raises lots of questions and I am not 100% sure whether it > would be a good idea to > > 1) allow unicode in identifiers
certainly not, unless you also provide means to input them in a ordinary terminal. Martin ------------------------------------------------------------------------- Check out the new SourceForge.net Marketplace. It's the best place to buy or sell services for just about anything Open Source. http://ad.doubleclick.net/clk;164216239;13503038;w?http://sf.net/marketplace _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
