ĵaŭ, 11 Feb 2010, Skip Cave skribis: > Ithink that the proposed charset.ijs looks pretty good, (from the > redbook) except I would shorten the following names: > 35 # numbersign -> number or numsign, > 38 & ampersand -> amp, > 39 ' quotesingle -> quotsing, > 42 * asterisk -> star, > 46 . period -> dot, > 94 ^ asciicircum -> hat, > 95 _ underscore -> under, > 126 ~ asciitilde -> tilde.
I think that 'star' is the 5-corner star that found in APL used for exponentiation. http://www.w3.org/TR/MathML2/bycodes.html -- regards, ==================================================== GPG key 1024D/4434BAB3 2008-08-24 gpg --keyserver subkeys.pgp.net --recv-keys 4434BAB3 ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
