const Value* namedSpaceParser(StringTokenizer& st)
namedSpaceParser(StringTokenizer& st)
const Value* namedSpaceParser(StringTokenizer& st){  KeywordId id[] = {    KW_VERYVERYTHINMATHSPACE,    KW_VERYTHINMATHSPACE,    KW_THINMATHSPACE,    KW_MEDIUMMATHSPACE,    KW_THICKMATHSPACE,    KW_VERYTHICKMATHSPACE,    KW_VERYVERYTHICKMATHSPACE  };  return alternativeParser(id, 7, st);}