semantic_meaning.js 6.3 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182
  1. import * as Alphabet from '../speech_rules/alphabet.js';
  2. var Types;
  3. (function (Types) {
  4. Types["PUNCTUATION"] = "punctuation";
  5. Types["FENCE"] = "fence";
  6. Types["NUMBER"] = "number";
  7. Types["IDENTIFIER"] = "identifier";
  8. Types["TEXT"] = "text";
  9. Types["OPERATOR"] = "operator";
  10. Types["RELATION"] = "relation";
  11. Types["LARGEOP"] = "largeop";
  12. Types["FUNCTION"] = "function";
  13. Types["ACCENT"] = "accent";
  14. Types["FENCED"] = "fenced";
  15. Types["FRACTION"] = "fraction";
  16. Types["PUNCTUATED"] = "punctuated";
  17. Types["RELSEQ"] = "relseq";
  18. Types["MULTIREL"] = "multirel";
  19. Types["INFIXOP"] = "infixop";
  20. Types["PREFIXOP"] = "prefixop";
  21. Types["POSTFIXOP"] = "postfixop";
  22. Types["APPL"] = "appl";
  23. Types["INTEGRAL"] = "integral";
  24. Types["BIGOP"] = "bigop";
  25. Types["SQRT"] = "sqrt";
  26. Types["ROOT"] = "root";
  27. Types["LIMUPPER"] = "limupper";
  28. Types["LIMLOWER"] = "limlower";
  29. Types["LIMBOTH"] = "limboth";
  30. Types["SUBSCRIPT"] = "subscript";
  31. Types["SUPERSCRIPT"] = "superscript";
  32. Types["UNDERSCORE"] = "underscore";
  33. Types["OVERSCORE"] = "overscore";
  34. Types["TENSOR"] = "tensor";
  35. Types["TABLE"] = "table";
  36. Types["MULTILINE"] = "multiline";
  37. Types["MATRIX"] = "matrix";
  38. Types["VECTOR"] = "vector";
  39. Types["CASES"] = "cases";
  40. Types["ROW"] = "row";
  41. Types["LINE"] = "line";
  42. Types["CELL"] = "cell";
  43. Types["ENCLOSE"] = "enclose";
  44. Types["INFERENCE"] = "inference";
  45. Types["RULELABEL"] = "rulelabel";
  46. Types["CONCLUSION"] = "conclusion";
  47. Types["PREMISES"] = "premises";
  48. Types["UNKNOWN"] = "unknown";
  49. Types["EMPTY"] = "empty";
  50. })(Types || (Types = {}));
  51. export const SemanticType = Object.assign({}, Types);
  52. var Roles;
  53. (function (Roles) {
  54. Roles["COMMA"] = "comma";
  55. Roles["SEMICOLON"] = "semicolon";
  56. Roles["ELLIPSIS"] = "ellipsis";
  57. Roles["FULLSTOP"] = "fullstop";
  58. Roles["QUESTION"] = "question";
  59. Roles["EXCLAMATION"] = "exclamation";
  60. Roles["QUOTES"] = "quotes";
  61. Roles["DASH"] = "dash";
  62. Roles["TILDE"] = "tilde";
  63. Roles["PRIME"] = "prime";
  64. Roles["DEGREE"] = "degree";
  65. Roles["VBAR"] = "vbar";
  66. Roles["COLON"] = "colon";
  67. Roles["OPENFENCE"] = "openfence";
  68. Roles["CLOSEFENCE"] = "closefence";
  69. Roles["APPLICATION"] = "application";
  70. Roles["DUMMY"] = "dummy";
  71. Roles["UNIT"] = "unit";
  72. Roles["LABEL"] = "label";
  73. Roles["OPEN"] = "open";
  74. Roles["CLOSE"] = "close";
  75. Roles["TOP"] = "top";
  76. Roles["BOTTOM"] = "bottom";
  77. Roles["NEUTRAL"] = "neutral";
  78. Roles["METRIC"] = "metric";
  79. Roles["LATINLETTER"] = "latinletter";
  80. Roles["GREEKLETTER"] = "greekletter";
  81. Roles["OTHERLETTER"] = "otherletter";
  82. Roles["NUMBERSET"] = "numbersetletter";
  83. Roles["INTEGER"] = "integer";
  84. Roles["FLOAT"] = "float";
  85. Roles["OTHERNUMBER"] = "othernumber";
  86. Roles["INFTY"] = "infty";
  87. Roles["MIXED"] = "mixed";
  88. Roles["MULTIACCENT"] = "multiaccent";
  89. Roles["OVERACCENT"] = "overaccent";
  90. Roles["UNDERACCENT"] = "underaccent";
  91. Roles["UNDEROVER"] = "underover";
  92. Roles["SUBSUP"] = "subsup";
  93. Roles["LEFTSUB"] = "leftsub";
  94. Roles["LEFTSUPER"] = "leftsuper";
  95. Roles["RIGHTSUB"] = "rightsub";
  96. Roles["RIGHTSUPER"] = "rightsuper";
  97. Roles["LEFTRIGHT"] = "leftright";
  98. Roles["ABOVEBELOW"] = "abovebelow";
  99. Roles["SETEMPTY"] = "set empty";
  100. Roles["SETEXT"] = "set extended";
  101. Roles["SETSINGLE"] = "set singleton";
  102. Roles["SETCOLLECT"] = "set collection";
  103. Roles["STRING"] = "string";
  104. Roles["SPACE"] = "space";
  105. Roles["ANNOTATION"] = "annotation";
  106. Roles["TEXT"] = "text";
  107. Roles["SEQUENCE"] = "sequence";
  108. Roles["ENDPUNCT"] = "endpunct";
  109. Roles["STARTPUNCT"] = "startpunct";
  110. Roles["NEGATIVE"] = "negative";
  111. Roles["POSITIVE"] = "positive";
  112. Roles["NEGATION"] = "negation";
  113. Roles["MULTIOP"] = "multiop";
  114. Roles["PREFIXOP"] = "prefix operator";
  115. Roles["POSTFIXOP"] = "postfix operator";
  116. Roles["LIMFUNC"] = "limit function";
  117. Roles["INFIXFUNC"] = "infix function";
  118. Roles["PREFIXFUNC"] = "prefix function";
  119. Roles["POSTFIXFUNC"] = "postfix function";
  120. Roles["SIMPLEFUNC"] = "simple function";
  121. Roles["COMPFUNC"] = "composed function";
  122. Roles["SUM"] = "sum";
  123. Roles["INTEGRAL"] = "integral";
  124. Roles["GEOMETRY"] = "geometry";
  125. Roles["BOX"] = "box";
  126. Roles["BLOCK"] = "block";
  127. Roles["ADDITION"] = "addition";
  128. Roles["MULTIPLICATION"] = "multiplication";
  129. Roles["SUBTRACTION"] = "subtraction";
  130. Roles["IMPLICIT"] = "implicit";
  131. Roles["DIVISION"] = "division";
  132. Roles["VULGAR"] = "vulgar";
  133. Roles["EQUALITY"] = "equality";
  134. Roles["INEQUALITY"] = "inequality";
  135. Roles["ARROW"] = "arrow";
  136. Roles["ELEMENT"] = "element";
  137. Roles["NONELEMENT"] = "nonelement";
  138. Roles["REELEMENT"] = "reelement";
  139. Roles["RENONELEMENT"] = "renonelement";
  140. Roles["SET"] = "set";
  141. Roles["DETERMINANT"] = "determinant";
  142. Roles["ROWVECTOR"] = "rowvector";
  143. Roles["BINOMIAL"] = "binomial";
  144. Roles["SQUAREMATRIX"] = "squarematrix";
  145. Roles["CYCLE"] = "cycle";
  146. Roles["MULTILINE"] = "multiline";
  147. Roles["MATRIX"] = "matrix";
  148. Roles["VECTOR"] = "vector";
  149. Roles["CASES"] = "cases";
  150. Roles["TABLE"] = "table";
  151. Roles["CAYLEY"] = "cayley";
  152. Roles["PROOF"] = "proof";
  153. Roles["LEFT"] = "left";
  154. Roles["RIGHT"] = "right";
  155. Roles["UP"] = "up";
  156. Roles["DOWN"] = "down";
  157. Roles["FINAL"] = "final";
  158. Roles["SINGLE"] = "single";
  159. Roles["HYP"] = "hyp";
  160. Roles["AXIOM"] = "axiom";
  161. Roles["LOGIC"] = "logic";
  162. Roles["UNKNOWN"] = "unknown";
  163. Roles["MGLYPH"] = "mglyph";
  164. })(Roles || (Roles = {}));
  165. export const SemanticRole = Object.assign({}, Roles);
  166. var ExtraFont;
  167. (function (ExtraFont) {
  168. ExtraFont["CALIGRAPHIC"] = "caligraphic";
  169. ExtraFont["CALIGRAPHICBOLD"] = "caligraphic-bold";
  170. ExtraFont["OLDSTYLE"] = "oldstyle";
  171. ExtraFont["OLDSTYLEBOLD"] = "oldstyle-bold";
  172. ExtraFont["UNKNOWN"] = "unknown";
  173. })(ExtraFont || (ExtraFont = {}));
  174. export const SemanticFont = Object.assign(Object.assign(Object.assign({}, Alphabet.Font), ExtraFont), Alphabet.Embellish);
  175. var SecondaryEnum;
  176. (function (SecondaryEnum) {
  177. SecondaryEnum["ALLLETTERS"] = "allLetters";
  178. SecondaryEnum["D"] = "d";
  179. SecondaryEnum["BAR"] = "bar";
  180. SecondaryEnum["TILDE"] = "tilde";
  181. })(SecondaryEnum || (SecondaryEnum = {}));
  182. export const SemanticSecondary = Object.assign(Object.assign({}, Alphabet.Base), SecondaryEnum);