semantic_meaning.js 6.5 KB

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