123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390 |
- import * as Alphabet from '../speech_rules/alphabet.js';
- export interface SemanticMeaning {
- type: SemanticType;
- role: SemanticRole;
- font: SemanticFont;
- }
- declare enum Types {
- PUNCTUATION = "punctuation",
- FENCE = "fence",
- NUMBER = "number",
- IDENTIFIER = "identifier",
- TEXT = "text",
- OPERATOR = "operator",
- RELATION = "relation",
- LARGEOP = "largeop",
- FUNCTION = "function",
- ACCENT = "accent",
- FENCED = "fenced",
- FRACTION = "fraction",
- PUNCTUATED = "punctuated",
- RELSEQ = "relseq",
- MULTIREL = "multirel",
- INFIXOP = "infixop",
- PREFIXOP = "prefixop",
- POSTFIXOP = "postfixop",
- APPL = "appl",
- INTEGRAL = "integral",
- BIGOP = "bigop",
- SQRT = "sqrt",
- ROOT = "root",
- LIMUPPER = "limupper",
- LIMLOWER = "limlower",
- LIMBOTH = "limboth",
- SUBSCRIPT = "subscript",
- SUPERSCRIPT = "superscript",
- UNDERSCORE = "underscore",
- OVERSCORE = "overscore",
- TENSOR = "tensor",
- TABLE = "table",
- MULTILINE = "multiline",
- MATRIX = "matrix",
- VECTOR = "vector",
- CASES = "cases",
- ROW = "row",
- LINE = "line",
- CELL = "cell",
- ENCLOSE = "enclose",
- INFERENCE = "inference",
- RULELABEL = "rulelabel",
- CONCLUSION = "conclusion",
- PREMISES = "premises",
- UNKNOWN = "unknown",
- EMPTY = "empty"
- }
- export type SemanticType = Types;
- export declare const SemanticType: {
- PUNCTUATION: Types.PUNCTUATION;
- FENCE: Types.FENCE;
- NUMBER: Types.NUMBER;
- IDENTIFIER: Types.IDENTIFIER;
- TEXT: Types.TEXT;
- OPERATOR: Types.OPERATOR;
- RELATION: Types.RELATION;
- LARGEOP: Types.LARGEOP;
- FUNCTION: Types.FUNCTION;
- ACCENT: Types.ACCENT;
- FENCED: Types.FENCED;
- FRACTION: Types.FRACTION;
- PUNCTUATED: Types.PUNCTUATED;
- RELSEQ: Types.RELSEQ;
- MULTIREL: Types.MULTIREL;
- INFIXOP: Types.INFIXOP;
- PREFIXOP: Types.PREFIXOP;
- POSTFIXOP: Types.POSTFIXOP;
- APPL: Types.APPL;
- INTEGRAL: Types.INTEGRAL;
- BIGOP: Types.BIGOP;
- SQRT: Types.SQRT;
- ROOT: Types.ROOT;
- LIMUPPER: Types.LIMUPPER;
- LIMLOWER: Types.LIMLOWER;
- LIMBOTH: Types.LIMBOTH;
- SUBSCRIPT: Types.SUBSCRIPT;
- SUPERSCRIPT: Types.SUPERSCRIPT;
- UNDERSCORE: Types.UNDERSCORE;
- OVERSCORE: Types.OVERSCORE;
- TENSOR: Types.TENSOR;
- TABLE: Types.TABLE;
- MULTILINE: Types.MULTILINE;
- MATRIX: Types.MATRIX;
- VECTOR: Types.VECTOR;
- CASES: Types.CASES;
- ROW: Types.ROW;
- LINE: Types.LINE;
- CELL: Types.CELL;
- ENCLOSE: Types.ENCLOSE;
- INFERENCE: Types.INFERENCE;
- RULELABEL: Types.RULELABEL;
- CONCLUSION: Types.CONCLUSION;
- PREMISES: Types.PREMISES;
- UNKNOWN: Types.UNKNOWN;
- EMPTY: Types.EMPTY;
- };
- declare enum Roles {
- COMMA = "comma",
- SEMICOLON = "semicolon",
- ELLIPSIS = "ellipsis",
- FULLSTOP = "fullstop",
- QUESTION = "question",
- EXCLAMATION = "exclamation",
- QUOTES = "quotes",
- DASH = "dash",
- TILDE = "tilde",
- PRIME = "prime",
- DEGREE = "degree",
- VBAR = "vbar",
- COLON = "colon",
- OPENFENCE = "openfence",
- CLOSEFENCE = "closefence",
- APPLICATION = "application",
- DUMMY = "dummy",
- UNIT = "unit",
- LABEL = "label",
- OPEN = "open",
- CLOSE = "close",
- TOP = "top",
- BOTTOM = "bottom",
- NEUTRAL = "neutral",
- METRIC = "metric",
- LATINLETTER = "latinletter",
- GREEKLETTER = "greekletter",
- OTHERLETTER = "otherletter",
- NUMBERSET = "numbersetletter",
- INTEGER = "integer",
- FLOAT = "float",
- OTHERNUMBER = "othernumber",
- INFTY = "infty",
- MIXED = "mixed",
- MULTIACCENT = "multiaccent",
- OVERACCENT = "overaccent",
- UNDERACCENT = "underaccent",
- UNDEROVER = "underover",
- SUBSUP = "subsup",
- LEFTSUB = "leftsub",
- LEFTSUPER = "leftsuper",
- RIGHTSUB = "rightsub",
- RIGHTSUPER = "rightsuper",
- LEFTRIGHT = "leftright",
- ABOVEBELOW = "abovebelow",
- SETEMPTY = "set empty",
- SETEXT = "set extended",
- SETSINGLE = "set singleton",
- SETCOLLECT = "set collection",
- STRING = "string",
- SPACE = "space",
- ANNOTATION = "annotation",
- TEXT = "text",
- SEQUENCE = "sequence",
- ENDPUNCT = "endpunct",
- STARTPUNCT = "startpunct",
- NEGATIVE = "negative",
- POSITIVE = "positive",
- NEGATION = "negation",
- MULTIOP = "multiop",
- PREFIXOP = "prefix operator",
- POSTFIXOP = "postfix operator",
- LIMFUNC = "limit function",
- INFIXFUNC = "infix function",
- PREFIXFUNC = "prefix function",
- POSTFIXFUNC = "postfix function",
- SIMPLEFUNC = "simple function",
- COMPFUNC = "composed function",
- SUM = "sum",
- INTEGRAL = "integral",
- GEOMETRY = "geometry",
- BOX = "box",
- BLOCK = "block",
- ADDITION = "addition",
- MULTIPLICATION = "multiplication",
- SUBTRACTION = "subtraction",
- IMPLICIT = "implicit",
- DIVISION = "division",
- VULGAR = "vulgar",
- EQUALITY = "equality",
- INEQUALITY = "inequality",
- ARROW = "arrow",
- ELEMENT = "element",
- NONELEMENT = "nonelement",
- REELEMENT = "reelement",
- RENONELEMENT = "renonelement",
- SET = "set",
- DETERMINANT = "determinant",
- ROWVECTOR = "rowvector",
- BINOMIAL = "binomial",
- SQUAREMATRIX = "squarematrix",
- CYCLE = "cycle",
- MULTILINE = "multiline",
- MATRIX = "matrix",
- VECTOR = "vector",
- CASES = "cases",
- TABLE = "table",
- CAYLEY = "cayley",
- PROOF = "proof",
- LEFT = "left",
- RIGHT = "right",
- UP = "up",
- DOWN = "down",
- FINAL = "final",
- SINGLE = "single",
- HYP = "hyp",
- AXIOM = "axiom",
- LOGIC = "logic",
- UNKNOWN = "unknown",
- MGLYPH = "mglyph"
- }
- export type SemanticRole = Roles;
- export declare const SemanticRole: {
- COMMA: Roles.COMMA;
- SEMICOLON: Roles.SEMICOLON;
- ELLIPSIS: Roles.ELLIPSIS;
- FULLSTOP: Roles.FULLSTOP;
- QUESTION: Roles.QUESTION;
- EXCLAMATION: Roles.EXCLAMATION;
- QUOTES: Roles.QUOTES;
- DASH: Roles.DASH;
- TILDE: Roles.TILDE;
- PRIME: Roles.PRIME;
- DEGREE: Roles.DEGREE;
- VBAR: Roles.VBAR;
- COLON: Roles.COLON;
- OPENFENCE: Roles.OPENFENCE;
- CLOSEFENCE: Roles.CLOSEFENCE;
- APPLICATION: Roles.APPLICATION;
- DUMMY: Roles.DUMMY;
- UNIT: Roles.UNIT;
- LABEL: Roles.LABEL;
- OPEN: Roles.OPEN;
- CLOSE: Roles.CLOSE;
- TOP: Roles.TOP;
- BOTTOM: Roles.BOTTOM;
- NEUTRAL: Roles.NEUTRAL;
- METRIC: Roles.METRIC;
- LATINLETTER: Roles.LATINLETTER;
- GREEKLETTER: Roles.GREEKLETTER;
- OTHERLETTER: Roles.OTHERLETTER;
- NUMBERSET: Roles.NUMBERSET;
- INTEGER: Roles.INTEGER;
- FLOAT: Roles.FLOAT;
- OTHERNUMBER: Roles.OTHERNUMBER;
- INFTY: Roles.INFTY;
- MIXED: Roles.MIXED;
- MULTIACCENT: Roles.MULTIACCENT;
- OVERACCENT: Roles.OVERACCENT;
- UNDERACCENT: Roles.UNDERACCENT;
- UNDEROVER: Roles.UNDEROVER;
- SUBSUP: Roles.SUBSUP;
- LEFTSUB: Roles.LEFTSUB;
- LEFTSUPER: Roles.LEFTSUPER;
- RIGHTSUB: Roles.RIGHTSUB;
- RIGHTSUPER: Roles.RIGHTSUPER;
- LEFTRIGHT: Roles.LEFTRIGHT;
- ABOVEBELOW: Roles.ABOVEBELOW;
- SETEMPTY: Roles.SETEMPTY;
- SETEXT: Roles.SETEXT;
- SETSINGLE: Roles.SETSINGLE;
- SETCOLLECT: Roles.SETCOLLECT;
- STRING: Roles.STRING;
- SPACE: Roles.SPACE;
- ANNOTATION: Roles.ANNOTATION;
- TEXT: Roles.TEXT;
- SEQUENCE: Roles.SEQUENCE;
- ENDPUNCT: Roles.ENDPUNCT;
- STARTPUNCT: Roles.STARTPUNCT;
- NEGATIVE: Roles.NEGATIVE;
- POSITIVE: Roles.POSITIVE;
- NEGATION: Roles.NEGATION;
- MULTIOP: Roles.MULTIOP;
- PREFIXOP: Roles.PREFIXOP;
- POSTFIXOP: Roles.POSTFIXOP;
- LIMFUNC: Roles.LIMFUNC;
- INFIXFUNC: Roles.INFIXFUNC;
- PREFIXFUNC: Roles.PREFIXFUNC;
- POSTFIXFUNC: Roles.POSTFIXFUNC;
- SIMPLEFUNC: Roles.SIMPLEFUNC;
- COMPFUNC: Roles.COMPFUNC;
- SUM: Roles.SUM;
- INTEGRAL: Roles.INTEGRAL;
- GEOMETRY: Roles.GEOMETRY;
- BOX: Roles.BOX;
- BLOCK: Roles.BLOCK;
- ADDITION: Roles.ADDITION;
- MULTIPLICATION: Roles.MULTIPLICATION;
- SUBTRACTION: Roles.SUBTRACTION;
- IMPLICIT: Roles.IMPLICIT;
- DIVISION: Roles.DIVISION;
- VULGAR: Roles.VULGAR;
- EQUALITY: Roles.EQUALITY;
- INEQUALITY: Roles.INEQUALITY;
- ARROW: Roles.ARROW;
- ELEMENT: Roles.ELEMENT;
- NONELEMENT: Roles.NONELEMENT;
- REELEMENT: Roles.REELEMENT;
- RENONELEMENT: Roles.RENONELEMENT;
- SET: Roles.SET;
- DETERMINANT: Roles.DETERMINANT;
- ROWVECTOR: Roles.ROWVECTOR;
- BINOMIAL: Roles.BINOMIAL;
- SQUAREMATRIX: Roles.SQUAREMATRIX;
- CYCLE: Roles.CYCLE;
- MULTILINE: Roles.MULTILINE;
- MATRIX: Roles.MATRIX;
- VECTOR: Roles.VECTOR;
- CASES: Roles.CASES;
- TABLE: Roles.TABLE;
- CAYLEY: Roles.CAYLEY;
- PROOF: Roles.PROOF;
- LEFT: Roles.LEFT;
- RIGHT: Roles.RIGHT;
- UP: Roles.UP;
- DOWN: Roles.DOWN;
- FINAL: Roles.FINAL;
- SINGLE: Roles.SINGLE;
- HYP: Roles.HYP;
- AXIOM: Roles.AXIOM;
- LOGIC: Roles.LOGIC;
- UNKNOWN: Roles.UNKNOWN;
- MGLYPH: Roles.MGLYPH;
- };
- declare enum ExtraFont {
- CALIGRAPHIC = "caligraphic",
- CALIGRAPHICBOLD = "caligraphic-bold",
- OLDSTYLE = "oldstyle",
- OLDSTYLEBOLD = "oldstyle-bold",
- UNKNOWN = "unknown"
- }
- export type SemanticFont = Alphabet.Font | ExtraFont | Alphabet.Embellish;
- export declare const SemanticFont: {
- SUPER: Alphabet.Embellish.SUPER;
- SUB: Alphabet.Embellish.SUB;
- CIRCLED: Alphabet.Embellish.CIRCLED;
- PARENTHESIZED: Alphabet.Embellish.PARENTHESIZED;
- PERIOD: Alphabet.Embellish.PERIOD;
- NEGATIVECIRCLED: Alphabet.Embellish.NEGATIVECIRCLED;
- DOUBLECIRCLED: Alphabet.Embellish.DOUBLECIRCLED;
- CIRCLEDSANSSERIF: Alphabet.Embellish.CIRCLEDSANSSERIF;
- NEGATIVECIRCLEDSANSSERIF: Alphabet.Embellish.NEGATIVECIRCLEDSANSSERIF;
- COMMA: Alphabet.Embellish.COMMA;
- SQUARED: Alphabet.Embellish.SQUARED;
- NEGATIVESQUARED: Alphabet.Embellish.NEGATIVESQUARED;
- CALIGRAPHIC: ExtraFont.CALIGRAPHIC;
- CALIGRAPHICBOLD: ExtraFont.CALIGRAPHICBOLD;
- OLDSTYLE: ExtraFont.OLDSTYLE;
- OLDSTYLEBOLD: ExtraFont.OLDSTYLEBOLD;
- UNKNOWN: ExtraFont.UNKNOWN;
- BOLD: Alphabet.Font.BOLD;
- BOLDFRAKTUR: Alphabet.Font.BOLDFRAKTUR;
- BOLDITALIC: Alphabet.Font.BOLDITALIC;
- BOLDSCRIPT: Alphabet.Font.BOLDSCRIPT;
- DOUBLESTRUCK: Alphabet.Font.DOUBLESTRUCK;
- DOUBLESTRUCKITALIC: Alphabet.Font.DOUBLESTRUCKITALIC;
- FULLWIDTH: Alphabet.Font.FULLWIDTH;
- FRAKTUR: Alphabet.Font.FRAKTUR;
- ITALIC: Alphabet.Font.ITALIC;
- MONOSPACE: Alphabet.Font.MONOSPACE;
- NORMAL: Alphabet.Font.NORMAL;
- SCRIPT: Alphabet.Font.SCRIPT;
- SANSSERIF: Alphabet.Font.SANSSERIF;
- SANSSERIFITALIC: Alphabet.Font.SANSSERIFITALIC;
- SANSSERIFBOLD: Alphabet.Font.SANSSERIFBOLD;
- SANSSERIFBOLDITALIC: Alphabet.Font.SANSSERIFBOLDITALIC;
- };
- declare enum SecondaryEnum {
- ALLLETTERS = "allLetters",
- D = "d",
- BAR = "bar",
- TILDE = "tilde"
- }
- export type SemanticSecondary = Alphabet.Base | SecondaryEnum;
- export declare const SemanticSecondary: {
- ALLLETTERS: SecondaryEnum.ALLLETTERS;
- D: SecondaryEnum.D;
- BAR: SecondaryEnum.BAR;
- TILDE: SecondaryEnum.TILDE;
- LATINCAP: Alphabet.Base.LATINCAP;
- LATINSMALL: Alphabet.Base.LATINSMALL;
- GREEKCAP: Alphabet.Base.GREEKCAP;
- GREEKSMALL: Alphabet.Base.GREEKSMALL;
- DIGIT: Alphabet.Base.DIGIT;
- };
- export {};
|