semantic_meaning.d.ts 11 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390
  1. import * as Alphabet from '../speech_rules/alphabet.js';
  2. export interface SemanticMeaning {
  3. type: SemanticType;
  4. role: SemanticRole;
  5. font: SemanticFont;
  6. }
  7. declare enum Types {
  8. PUNCTUATION = "punctuation",
  9. FENCE = "fence",
  10. NUMBER = "number",
  11. IDENTIFIER = "identifier",
  12. TEXT = "text",
  13. OPERATOR = "operator",
  14. RELATION = "relation",
  15. LARGEOP = "largeop",
  16. FUNCTION = "function",
  17. ACCENT = "accent",
  18. FENCED = "fenced",
  19. FRACTION = "fraction",
  20. PUNCTUATED = "punctuated",
  21. RELSEQ = "relseq",
  22. MULTIREL = "multirel",
  23. INFIXOP = "infixop",
  24. PREFIXOP = "prefixop",
  25. POSTFIXOP = "postfixop",
  26. APPL = "appl",
  27. INTEGRAL = "integral",
  28. BIGOP = "bigop",
  29. SQRT = "sqrt",
  30. ROOT = "root",
  31. LIMUPPER = "limupper",
  32. LIMLOWER = "limlower",
  33. LIMBOTH = "limboth",
  34. SUBSCRIPT = "subscript",
  35. SUPERSCRIPT = "superscript",
  36. UNDERSCORE = "underscore",
  37. OVERSCORE = "overscore",
  38. TENSOR = "tensor",
  39. TABLE = "table",
  40. MULTILINE = "multiline",
  41. MATRIX = "matrix",
  42. VECTOR = "vector",
  43. CASES = "cases",
  44. ROW = "row",
  45. LINE = "line",
  46. CELL = "cell",
  47. ENCLOSE = "enclose",
  48. INFERENCE = "inference",
  49. RULELABEL = "rulelabel",
  50. CONCLUSION = "conclusion",
  51. PREMISES = "premises",
  52. UNKNOWN = "unknown",
  53. EMPTY = "empty"
  54. }
  55. export type SemanticType = Types;
  56. export declare const SemanticType: {
  57. PUNCTUATION: Types.PUNCTUATION;
  58. FENCE: Types.FENCE;
  59. NUMBER: Types.NUMBER;
  60. IDENTIFIER: Types.IDENTIFIER;
  61. TEXT: Types.TEXT;
  62. OPERATOR: Types.OPERATOR;
  63. RELATION: Types.RELATION;
  64. LARGEOP: Types.LARGEOP;
  65. FUNCTION: Types.FUNCTION;
  66. ACCENT: Types.ACCENT;
  67. FENCED: Types.FENCED;
  68. FRACTION: Types.FRACTION;
  69. PUNCTUATED: Types.PUNCTUATED;
  70. RELSEQ: Types.RELSEQ;
  71. MULTIREL: Types.MULTIREL;
  72. INFIXOP: Types.INFIXOP;
  73. PREFIXOP: Types.PREFIXOP;
  74. POSTFIXOP: Types.POSTFIXOP;
  75. APPL: Types.APPL;
  76. INTEGRAL: Types.INTEGRAL;
  77. BIGOP: Types.BIGOP;
  78. SQRT: Types.SQRT;
  79. ROOT: Types.ROOT;
  80. LIMUPPER: Types.LIMUPPER;
  81. LIMLOWER: Types.LIMLOWER;
  82. LIMBOTH: Types.LIMBOTH;
  83. SUBSCRIPT: Types.SUBSCRIPT;
  84. SUPERSCRIPT: Types.SUPERSCRIPT;
  85. UNDERSCORE: Types.UNDERSCORE;
  86. OVERSCORE: Types.OVERSCORE;
  87. TENSOR: Types.TENSOR;
  88. TABLE: Types.TABLE;
  89. MULTILINE: Types.MULTILINE;
  90. MATRIX: Types.MATRIX;
  91. VECTOR: Types.VECTOR;
  92. CASES: Types.CASES;
  93. ROW: Types.ROW;
  94. LINE: Types.LINE;
  95. CELL: Types.CELL;
  96. ENCLOSE: Types.ENCLOSE;
  97. INFERENCE: Types.INFERENCE;
  98. RULELABEL: Types.RULELABEL;
  99. CONCLUSION: Types.CONCLUSION;
  100. PREMISES: Types.PREMISES;
  101. UNKNOWN: Types.UNKNOWN;
  102. EMPTY: Types.EMPTY;
  103. };
  104. declare enum Roles {
  105. COMMA = "comma",
  106. SEMICOLON = "semicolon",
  107. ELLIPSIS = "ellipsis",
  108. FULLSTOP = "fullstop",
  109. QUESTION = "question",
  110. EXCLAMATION = "exclamation",
  111. QUOTES = "quotes",
  112. DASH = "dash",
  113. TILDE = "tilde",
  114. PRIME = "prime",
  115. DEGREE = "degree",
  116. VBAR = "vbar",
  117. COLON = "colon",
  118. OPENFENCE = "openfence",
  119. CLOSEFENCE = "closefence",
  120. APPLICATION = "application",
  121. DUMMY = "dummy",
  122. UNIT = "unit",
  123. LABEL = "label",
  124. OPEN = "open",
  125. CLOSE = "close",
  126. TOP = "top",
  127. BOTTOM = "bottom",
  128. NEUTRAL = "neutral",
  129. METRIC = "metric",
  130. LATINLETTER = "latinletter",
  131. GREEKLETTER = "greekletter",
  132. OTHERLETTER = "otherletter",
  133. NUMBERSET = "numbersetletter",
  134. INTEGER = "integer",
  135. FLOAT = "float",
  136. OTHERNUMBER = "othernumber",
  137. INFTY = "infty",
  138. MIXED = "mixed",
  139. MULTIACCENT = "multiaccent",
  140. OVERACCENT = "overaccent",
  141. UNDERACCENT = "underaccent",
  142. UNDEROVER = "underover",
  143. SUBSUP = "subsup",
  144. LEFTSUB = "leftsub",
  145. LEFTSUPER = "leftsuper",
  146. RIGHTSUB = "rightsub",
  147. RIGHTSUPER = "rightsuper",
  148. LEFTRIGHT = "leftright",
  149. ABOVEBELOW = "abovebelow",
  150. SETEMPTY = "set empty",
  151. SETEXT = "set extended",
  152. SETSINGLE = "set singleton",
  153. SETCOLLECT = "set collection",
  154. STRING = "string",
  155. SPACE = "space",
  156. ANNOTATION = "annotation",
  157. TEXT = "text",
  158. SEQUENCE = "sequence",
  159. ENDPUNCT = "endpunct",
  160. STARTPUNCT = "startpunct",
  161. NEGATIVE = "negative",
  162. POSITIVE = "positive",
  163. NEGATION = "negation",
  164. MULTIOP = "multiop",
  165. PREFIXOP = "prefix operator",
  166. POSTFIXOP = "postfix operator",
  167. LIMFUNC = "limit function",
  168. INFIXFUNC = "infix function",
  169. PREFIXFUNC = "prefix function",
  170. POSTFIXFUNC = "postfix function",
  171. SIMPLEFUNC = "simple function",
  172. COMPFUNC = "composed function",
  173. SUM = "sum",
  174. INTEGRAL = "integral",
  175. GEOMETRY = "geometry",
  176. BOX = "box",
  177. BLOCK = "block",
  178. ADDITION = "addition",
  179. MULTIPLICATION = "multiplication",
  180. SUBTRACTION = "subtraction",
  181. IMPLICIT = "implicit",
  182. DIVISION = "division",
  183. VULGAR = "vulgar",
  184. EQUALITY = "equality",
  185. INEQUALITY = "inequality",
  186. ARROW = "arrow",
  187. ELEMENT = "element",
  188. NONELEMENT = "nonelement",
  189. REELEMENT = "reelement",
  190. RENONELEMENT = "renonelement",
  191. SET = "set",
  192. DETERMINANT = "determinant",
  193. ROWVECTOR = "rowvector",
  194. BINOMIAL = "binomial",
  195. SQUAREMATRIX = "squarematrix",
  196. CYCLE = "cycle",
  197. MULTILINE = "multiline",
  198. MATRIX = "matrix",
  199. VECTOR = "vector",
  200. CASES = "cases",
  201. TABLE = "table",
  202. CAYLEY = "cayley",
  203. PROOF = "proof",
  204. LEFT = "left",
  205. RIGHT = "right",
  206. UP = "up",
  207. DOWN = "down",
  208. FINAL = "final",
  209. SINGLE = "single",
  210. HYP = "hyp",
  211. AXIOM = "axiom",
  212. LOGIC = "logic",
  213. UNKNOWN = "unknown",
  214. MGLYPH = "mglyph"
  215. }
  216. export type SemanticRole = Roles;
  217. export declare const SemanticRole: {
  218. COMMA: Roles.COMMA;
  219. SEMICOLON: Roles.SEMICOLON;
  220. ELLIPSIS: Roles.ELLIPSIS;
  221. FULLSTOP: Roles.FULLSTOP;
  222. QUESTION: Roles.QUESTION;
  223. EXCLAMATION: Roles.EXCLAMATION;
  224. QUOTES: Roles.QUOTES;
  225. DASH: Roles.DASH;
  226. TILDE: Roles.TILDE;
  227. PRIME: Roles.PRIME;
  228. DEGREE: Roles.DEGREE;
  229. VBAR: Roles.VBAR;
  230. COLON: Roles.COLON;
  231. OPENFENCE: Roles.OPENFENCE;
  232. CLOSEFENCE: Roles.CLOSEFENCE;
  233. APPLICATION: Roles.APPLICATION;
  234. DUMMY: Roles.DUMMY;
  235. UNIT: Roles.UNIT;
  236. LABEL: Roles.LABEL;
  237. OPEN: Roles.OPEN;
  238. CLOSE: Roles.CLOSE;
  239. TOP: Roles.TOP;
  240. BOTTOM: Roles.BOTTOM;
  241. NEUTRAL: Roles.NEUTRAL;
  242. METRIC: Roles.METRIC;
  243. LATINLETTER: Roles.LATINLETTER;
  244. GREEKLETTER: Roles.GREEKLETTER;
  245. OTHERLETTER: Roles.OTHERLETTER;
  246. NUMBERSET: Roles.NUMBERSET;
  247. INTEGER: Roles.INTEGER;
  248. FLOAT: Roles.FLOAT;
  249. OTHERNUMBER: Roles.OTHERNUMBER;
  250. INFTY: Roles.INFTY;
  251. MIXED: Roles.MIXED;
  252. MULTIACCENT: Roles.MULTIACCENT;
  253. OVERACCENT: Roles.OVERACCENT;
  254. UNDERACCENT: Roles.UNDERACCENT;
  255. UNDEROVER: Roles.UNDEROVER;
  256. SUBSUP: Roles.SUBSUP;
  257. LEFTSUB: Roles.LEFTSUB;
  258. LEFTSUPER: Roles.LEFTSUPER;
  259. RIGHTSUB: Roles.RIGHTSUB;
  260. RIGHTSUPER: Roles.RIGHTSUPER;
  261. LEFTRIGHT: Roles.LEFTRIGHT;
  262. ABOVEBELOW: Roles.ABOVEBELOW;
  263. SETEMPTY: Roles.SETEMPTY;
  264. SETEXT: Roles.SETEXT;
  265. SETSINGLE: Roles.SETSINGLE;
  266. SETCOLLECT: Roles.SETCOLLECT;
  267. STRING: Roles.STRING;
  268. SPACE: Roles.SPACE;
  269. ANNOTATION: Roles.ANNOTATION;
  270. TEXT: Roles.TEXT;
  271. SEQUENCE: Roles.SEQUENCE;
  272. ENDPUNCT: Roles.ENDPUNCT;
  273. STARTPUNCT: Roles.STARTPUNCT;
  274. NEGATIVE: Roles.NEGATIVE;
  275. POSITIVE: Roles.POSITIVE;
  276. NEGATION: Roles.NEGATION;
  277. MULTIOP: Roles.MULTIOP;
  278. PREFIXOP: Roles.PREFIXOP;
  279. POSTFIXOP: Roles.POSTFIXOP;
  280. LIMFUNC: Roles.LIMFUNC;
  281. INFIXFUNC: Roles.INFIXFUNC;
  282. PREFIXFUNC: Roles.PREFIXFUNC;
  283. POSTFIXFUNC: Roles.POSTFIXFUNC;
  284. SIMPLEFUNC: Roles.SIMPLEFUNC;
  285. COMPFUNC: Roles.COMPFUNC;
  286. SUM: Roles.SUM;
  287. INTEGRAL: Roles.INTEGRAL;
  288. GEOMETRY: Roles.GEOMETRY;
  289. BOX: Roles.BOX;
  290. BLOCK: Roles.BLOCK;
  291. ADDITION: Roles.ADDITION;
  292. MULTIPLICATION: Roles.MULTIPLICATION;
  293. SUBTRACTION: Roles.SUBTRACTION;
  294. IMPLICIT: Roles.IMPLICIT;
  295. DIVISION: Roles.DIVISION;
  296. VULGAR: Roles.VULGAR;
  297. EQUALITY: Roles.EQUALITY;
  298. INEQUALITY: Roles.INEQUALITY;
  299. ARROW: Roles.ARROW;
  300. ELEMENT: Roles.ELEMENT;
  301. NONELEMENT: Roles.NONELEMENT;
  302. REELEMENT: Roles.REELEMENT;
  303. RENONELEMENT: Roles.RENONELEMENT;
  304. SET: Roles.SET;
  305. DETERMINANT: Roles.DETERMINANT;
  306. ROWVECTOR: Roles.ROWVECTOR;
  307. BINOMIAL: Roles.BINOMIAL;
  308. SQUAREMATRIX: Roles.SQUAREMATRIX;
  309. CYCLE: Roles.CYCLE;
  310. MULTILINE: Roles.MULTILINE;
  311. MATRIX: Roles.MATRIX;
  312. VECTOR: Roles.VECTOR;
  313. CASES: Roles.CASES;
  314. TABLE: Roles.TABLE;
  315. CAYLEY: Roles.CAYLEY;
  316. PROOF: Roles.PROOF;
  317. LEFT: Roles.LEFT;
  318. RIGHT: Roles.RIGHT;
  319. UP: Roles.UP;
  320. DOWN: Roles.DOWN;
  321. FINAL: Roles.FINAL;
  322. SINGLE: Roles.SINGLE;
  323. HYP: Roles.HYP;
  324. AXIOM: Roles.AXIOM;
  325. LOGIC: Roles.LOGIC;
  326. UNKNOWN: Roles.UNKNOWN;
  327. MGLYPH: Roles.MGLYPH;
  328. };
  329. declare enum ExtraFont {
  330. CALIGRAPHIC = "caligraphic",
  331. CALIGRAPHICBOLD = "caligraphic-bold",
  332. OLDSTYLE = "oldstyle",
  333. OLDSTYLEBOLD = "oldstyle-bold",
  334. UNKNOWN = "unknown"
  335. }
  336. export type SemanticFont = Alphabet.Font | ExtraFont | Alphabet.Embellish;
  337. export declare const SemanticFont: {
  338. SUPER: Alphabet.Embellish.SUPER;
  339. SUB: Alphabet.Embellish.SUB;
  340. CIRCLED: Alphabet.Embellish.CIRCLED;
  341. PARENTHESIZED: Alphabet.Embellish.PARENTHESIZED;
  342. PERIOD: Alphabet.Embellish.PERIOD;
  343. NEGATIVECIRCLED: Alphabet.Embellish.NEGATIVECIRCLED;
  344. DOUBLECIRCLED: Alphabet.Embellish.DOUBLECIRCLED;
  345. CIRCLEDSANSSERIF: Alphabet.Embellish.CIRCLEDSANSSERIF;
  346. NEGATIVECIRCLEDSANSSERIF: Alphabet.Embellish.NEGATIVECIRCLEDSANSSERIF;
  347. COMMA: Alphabet.Embellish.COMMA;
  348. SQUARED: Alphabet.Embellish.SQUARED;
  349. NEGATIVESQUARED: Alphabet.Embellish.NEGATIVESQUARED;
  350. CALIGRAPHIC: ExtraFont.CALIGRAPHIC;
  351. CALIGRAPHICBOLD: ExtraFont.CALIGRAPHICBOLD;
  352. OLDSTYLE: ExtraFont.OLDSTYLE;
  353. OLDSTYLEBOLD: ExtraFont.OLDSTYLEBOLD;
  354. UNKNOWN: ExtraFont.UNKNOWN;
  355. BOLD: Alphabet.Font.BOLD;
  356. BOLDFRAKTUR: Alphabet.Font.BOLDFRAKTUR;
  357. BOLDITALIC: Alphabet.Font.BOLDITALIC;
  358. BOLDSCRIPT: Alphabet.Font.BOLDSCRIPT;
  359. DOUBLESTRUCK: Alphabet.Font.DOUBLESTRUCK;
  360. DOUBLESTRUCKITALIC: Alphabet.Font.DOUBLESTRUCKITALIC;
  361. FULLWIDTH: Alphabet.Font.FULLWIDTH;
  362. FRAKTUR: Alphabet.Font.FRAKTUR;
  363. ITALIC: Alphabet.Font.ITALIC;
  364. MONOSPACE: Alphabet.Font.MONOSPACE;
  365. NORMAL: Alphabet.Font.NORMAL;
  366. SCRIPT: Alphabet.Font.SCRIPT;
  367. SANSSERIF: Alphabet.Font.SANSSERIF;
  368. SANSSERIFITALIC: Alphabet.Font.SANSSERIFITALIC;
  369. SANSSERIFBOLD: Alphabet.Font.SANSSERIFBOLD;
  370. SANSSERIFBOLDITALIC: Alphabet.Font.SANSSERIFBOLDITALIC;
  371. };
  372. declare enum SecondaryEnum {
  373. ALLLETTERS = "allLetters",
  374. D = "d",
  375. BAR = "bar",
  376. TILDE = "tilde"
  377. }
  378. export type SemanticSecondary = Alphabet.Base | SecondaryEnum;
  379. export declare const SemanticSecondary: {
  380. ALLLETTERS: SecondaryEnum.ALLLETTERS;
  381. D: SecondaryEnum.D;
  382. BAR: SecondaryEnum.BAR;
  383. TILDE: SecondaryEnum.TILDE;
  384. LATINCAP: Alphabet.Base.LATINCAP;
  385. LATINSMALL: Alphabet.Base.LATINSMALL;
  386. GREEKCAP: Alphabet.Base.GREEKCAP;
  387. GREEKSMALL: Alphabet.Base.GREEKSMALL;
  388. DIGIT: Alphabet.Base.DIGIT;
  389. };
  390. export {};