> From: bill lam > > ĵ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 >
I searched in vain for an HTML entities list as comprehensive as that for characters in the ASCII range. I didn't think to look at MathML. Thanks. ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
