diff --git a/source/data/data.json b/source/data/data.json index 5a83906..61b9fd2 100644 --- a/source/data/data.json +++ b/source/data/data.json @@ -80,143 +80,201 @@ "ltriangle": {"symbol": "◃", "types": ["bin"]}, "tltriangle": {"symbol": "◃", "types": ["ord"]}, "cap": {"symbol": "∩", "types": ["bin"]}, "cup": {"symbol": "∪", "types": ["bin"]}, - "ccap": {"symbol": "⋒", "types": ["bin"]}, - "ccup": {"symbol": "⋓", "types": ["bin"]}, + "xcap": {"symbol": "⋒", "types": ["bin"]}, "ccap": {"symbol": "⋒", "types": ["bin"]}, + "xcup": {"symbol": "⋓", "types": ["bin"]}, "ccup": {"symbol": "⋓", "types": ["bin"]}, "sqcap": {"symbol": "⊓", "types": ["bin"]}, "sqcup": {"symbol": "⊔", "types": ["bin"]}, - "ssqcap": {"symbol": "⩎", "types": ["bin"]}, - "ssqcup": {"symbol": "⩏", "types": ["bin"]}, + "xsqcap": {"symbol": "⩎", "types": ["bin"]}, "ssqcap": {"symbol": "⩎", "types": ["bin"]}, + "xsqcup": {"symbol": "⩏", "types": ["bin"]}, "ssqcup": {"symbol": "⩏", "types": ["bin"]}, "wedge": {"symbol": "∧", "types": ["bin"]}, "vee": {"symbol": "∨", "types": ["bin"]}, "barwedge": {"symbol": "⊼", "types": ["bin"]}, "barvee": {"symbol": "⊽", "types": ["bin"]}, "veebar": {"symbol": "⊻", "types": ["bin"]}, - "wwedge": {"symbol": "⩕", "types": ["bin"]}, - "vvee": {"symbol": "⩖", "types": ["bin"]}, - "varwwedge": {"symbol": "⩓", "types": ["bin"]}, - "varvvee": {"symbol": "⩔", "types": ["bin"]}, + "xwedge": {"symbol": "⩕", "types": ["bin"]}, "wwedge": {"symbol": "⩕", "types": ["bin"]}, + "xvee": {"symbol": "⩖", "types": ["bin"]}, "vvee": {"symbol": "⩖", "types": ["bin"]}, + "varxwedge": {"symbol": "⩓", "types": ["bin"]}, "varwwedge": {"symbol": "⩓", "types": ["bin"]}, + "varxvee": {"symbol": "⩔", "types": ["bin"]}, "varvvee": {"symbol": "⩔", "types": ["bin"]}, "pitchfork": {"symbol": "⋔", "types": ["bin"]}, "percent": {"symbol": "%", "types": ["bin", "txt"]}, "atsym": {"symbol": "@", "types": ["bin", "txt"]}, - "eq": {"symbol": "=", "types": ["rel"]}, "neq": {"symbol": "≠", "types": ["rel"]}, + "eq": {"symbol": "=", "types": ["rel"]}, + "neq": {"symbol": "≠", "types": ["rel"]}, "asiansim": {"symbol": "≒", "types": ["rel"]}, "varasiansim": {"symbol": "≓", "types": ["rel"]}, - "coloneqq": {"symbol": ":=", "types": ["rel"]}, - "eqqcolon": {"symbol": "=:", "types": ["rel"]}, - "ccoloneqq": {"symbol": "::=", "types": ["rel"]}, - "eqqccolon": {"symbol": "=::", "types": ["rel"]}, - "equiv": {"symbol": "≡", "types": ["rel"]}, "nequiv": {"symbol": "≢", "types": ["rel"]}, + "coloneq": {"symbol": ":=", "types": ["rel"]}, "coloneqq": {"symbol": ":=", "types": ["rel"]}, + "eqcolon": {"symbol": "=:", "types": ["rel"]}, "eqqcolon": {"symbol": "=:", "types": ["rel"]}, + "xcoloneq": {"symbol": "::=", "types": ["rel"]}, "xcoloneqq": {"symbol": "::=", "types": ["rel"]}, "ccoloneqq": {"symbol": "::=", "types": ["rel"]}, + "eqxcolon": {"symbol": "=::", "types": ["rel"]}, "eqqxcolon": {"symbol": "=::", "types": ["rel"]}, "eqqccolon": {"symbol": "=::", "types": ["rel"]}, + "equiv": {"symbol": "≡", "types": ["rel"]}, + "nequiv": {"symbol": "≢", "types": ["rel"]}, "colonequiv": {"symbol": ":≡", "types": ["rel"]}, - "eequiv": {"symbol": "≣", "types": ["rel"]}, - "coloneqquiv": {"symbol": ":≣", "types": ["rel"]}, - "sim": {"symbol": "∼", "types": ["rel"]}, "nsim": {"symbol": "≁", "types": ["rel"]}, + "xequiv": {"symbol": "≣", "types": ["rel"]}, "eequiv": {"symbol": "≣", "types": ["rel"]}, + "colonxequiv": {"symbol": ":≣", "types": ["rel"]}, "coloneequiv": {"symbol": ":≣", "types": ["rel"]}, + "sim": {"symbol": "∼", "types": ["rel"]}, + "nsim": {"symbol": "≁", "types": ["rel"]}, "colonsim": {"symbol": ":∼", "types": ["rel"]}, - "simeq": {"symbol": "≃", "types": ["rel"]}, "nsimeq": {"symbol": "≄", "types": ["rel"]}, + "simeq": {"symbol": "≃", "types": ["rel"]}, + "nsimeq": {"symbol": "≄", "types": ["rel"]}, "colonsimeq": {"symbol": ":≃", "types": ["rel"]}, "eqsim": {"symbol": "≂", "types": ["rel"]}, "coloneqsim": {"symbol": ":≂", "types": ["rel"]}, - "cong": {"symbol": "≅", "types": ["rel"]}, "ncong": {"symbol": "≇", "types": ["rel"]}, + "cong": {"symbol": "≅", "types": ["rel"]}, + "ncong": {"symbol": "≇", "types": ["rel"]}, "coloncong": {"symbol": ":≅","types": ["rel"]}, - "approx": {"symbol": "≈", "types": ["rel"]}, "napprox": {"symbol": "≉", "types": ["rel"]}, + "approx": {"symbol": "≈", "types": ["rel"]}, + "napprox": {"symbol": "≉", "types": ["rel"]}, "colonapprox": {"symbol": ":≈", "types": ["rel"]}, "approxeq": {"symbol": "≊", "types": ["rel"]}, "colonapproxeq": {"symbol": ":≊","types": ["rel"]}, - "aapprox": {"symbol": "≋", "types": ["rel"]}, - "colonaapprox": {"symbol": ":≋","types": ["rel"]}, + "xapprox": {"symbol": "≋", "types": ["rel"]}, "aapprox": {"symbol": "≋", "types": ["rel"]}, + "colonxapprox": {"symbol": ":≋","types": ["rel"]}, "colonaapprox": {"symbol": ":≋","types": ["rel"]}, "smile": {"symbol": "\uDB81\uDDAA", "types": ["rel"]}, "largesmile": {"symbol": "⌣", "types": ["rel"]}, "frown": {"symbol": "\uDB81\uDDAB", "types": ["rel"]}, "largefrown": {"symbol": "⌢", "types": ["rel"]}, "closure": {"symbol": "\uDB81\uDDAC", "types": ["rel"]}, - "asymp": {"symbol": "≍", "types": ["rel"]}, "nasymp": {"symbol": "≭", "types": ["rel"]}, + "asymp": {"symbol": "≍", "types": ["rel"]}, + "nasymp": {"symbol": "≭", "types": ["rel"]}, "bumpeq": {"symbol": "≏", "types": ["rel"]}, "bumpbump": {"symbol": "≎", "types": ["rel"]}, "eqcirc": {"symbol": "≖", "types": ["rel"]}, - "gt": {"symbol": ">", "types": ["rel"]}, "ngt": {"symbol": "≯", "types": ["rel"]}, - "ls": {"symbol": "<", "types": ["rel"]}, "nls": {"symbol": "≮", "types": ["rel"]}, - "geq": {"symbol": "≥", "types": ["rel"]}, "ngeq": {"symbol": "≱", "types": ["rel"]}, "gneq": {"symbol": "⪈", "types": ["rel"]}, - "leq": {"symbol": "≤", "types": ["rel"]}, "nleq": {"symbol": "≰", "types": ["rel"]}, "lneq": {"symbol": "⪇", "types": ["rel"]}, - "geqq": {"symbol": "≧", "types": ["rel"]}, "gneqq": {"symbol": "≩", "types": ["rel"]}, - "leqq": {"symbol": "≦", "types": ["rel"]}, "lneqq": {"symbol": "≨", "types": ["rel"]}, - "gsim": {"symbol": "≳", "types": ["rel"]}, "ngsim": {"symbol": "≵", "types": ["rel"]}, "gnsim": {"symbol": "⋧", "types": ["rel"]}, - "lsim": {"symbol": "≲", "types": ["rel"]}, "nlsim": {"symbol": "≴", "types": ["rel"]}, "lnsim": {"symbol": "⋦", "types": ["rel"]}, - "gapprox": {"symbol": "⪆", "types": ["rel"]}, "gnapprox": {"symbol": "⪊", "types": ["rel"]}, - "lapprox": {"symbol": "⪅", "types": ["rel"]}, "lnapprox": {"symbol": "⪉", "types": ["rel"]}, + "gt": {"symbol": ">", "types": ["rel"]}, + "ngt": {"symbol": "≯", "types": ["rel"]}, + "ls": {"symbol": "<", "types": ["rel"]}, + "nls": {"symbol": "≮", "types": ["rel"]}, + "geq": {"symbol": "≥", "types": ["rel"]}, + "ngeq": {"symbol": "≱", "types": ["rel"]}, + "gneq": {"symbol": "⪈", "types": ["rel"]}, + "leq": {"symbol": "≤", "types": ["rel"]}, + "nleq": {"symbol": "≰", "types": ["rel"]}, + "lneq": {"symbol": "⪇", "types": ["rel"]}, + "geqq": {"symbol": "≧", "types": ["rel"]}, + "gneqq": {"symbol": "≩", "types": ["rel"]}, + "leqq": {"symbol": "≦", "types": ["rel"]}, + "lneqq": {"symbol": "≨", "types": ["rel"]}, + "gsim": {"symbol": "≳", "types": ["rel"]}, + "ngsim": {"symbol": "≵", "types": ["rel"]}, + "gnsim": {"symbol": "⋧", "types": ["rel"]}, + "lsim": {"symbol": "≲", "types": ["rel"]}, + "nlsim": {"symbol": "≴", "types": ["rel"]}, + "lnsim": {"symbol": "⋦", "types": ["rel"]}, + "gapprox": {"symbol": "⪆", "types": ["rel"]}, + "gnapprox": {"symbol": "⪊", "types": ["rel"]}, + "lapprox": {"symbol": "⪅", "types": ["rel"]}, + "lnapprox": {"symbol": "⪉", "types": ["rel"]}, "eqg": {"symbol": "⋝", "types": ["rel"]}, "eql": {"symbol": "⋜", "types": ["rel"]}, "eqqg": {"symbol": "⪚", "types": ["rel"]}, "eqql": {"symbol": "⪙", "types": ["rel"]}, "simg": {"symbol": "⪞", "types": ["rel"]}, "siml": {"symbol": "⪝", "types": ["rel"]}, - "gl": {"symbol": "≷", "types": ["rel"]}, "ngl": {"symbol": "≹", "types": ["rel"]}, - "lg": {"symbol": "≶", "types": ["rel"]}, "nlg": {"symbol": "≸", "types": ["rel"]}, + "gl": {"symbol": "≷", "types": ["rel"]}, + "ngl": {"symbol": "≹", "types": ["rel"]}, + "lg": {"symbol": "≶", "types": ["rel"]}, + "nlg": {"symbol": "≸", "types": ["rel"]}, "geql": {"symbol": "⋛", "types": ["rel"]}, "leqg": {"symbol": "⋚", "types": ["rel"]}, "geqql": {"symbol": "⪌", "types": ["rel"]}, "leqqg": {"symbol": "⪋", "types": ["rel"]}, - "ggt": {"symbol": "≫", "types": ["rel"]}, - "lls": {"symbol": "≪", "types": ["rel"]}, - "llseq": {"symbol": "⪣", "types": ["rel"]}, - "varggt": {"symbol": "⪢", "types": ["rel"]}, - "varlls": {"symbol": "⪡", "types": ["rel"]}, - "gggt": {"symbol": "⋙", "types": ["rel"]}, - "llls": {"symbol": "⋘", "types": ["rel"]}, - "vargggt": {"symbol": "⫸", "types": ["rel"]}, - "varllls": {"symbol": "⫷", "types": ["rel"]}, - "succ": {"symbol": "≻", "types": ["rel"]}, "nsucc": {"symbol": "⊁", "types": ["rel"]}, - "prec": {"symbol": "≺", "types": ["rel"]}, "nprec": {"symbol": "⊀", "types": ["rel"]}, - "succeq": {"symbol": "⪰", "types": ["rel"]}, "succneq": {"symbol": "⪲", "types": ["rel"]}, - "preceq": {"symbol": "⪯", "types": ["rel"]}, "precneq": {"symbol": "⪱", "types": ["rel"]}, - "succeqq": {"symbol": "⪴", "types": ["rel"]}, "succneqq": {"symbol": "⪶", "types": ["rel"]}, - "preceqq": {"symbol": "⪳", "types": ["rel"]}, "precneqq": {"symbol": "⪵", "types": ["rel"]}, - "succsim": {"symbol": "≿", "types": ["rel"]}, "succnsim": {"symbol": "⋩", "types": ["rel"]}, - "precsim": {"symbol": "≾", "types": ["rel"]}, "precnsim": {"symbol": "⋨", "types": ["rel"]}, - "succapprox": {"symbol": "⪸", "types": ["rel"]}, "succnapprox": {"symbol": "⪺", "types": ["rel"]}, - "precapprox": {"symbol": "⪷", "types": ["rel"]}, "precnapprox": {"symbol": "⪹", "types": ["rel"]}, - "ssucc": {"symbol": "⪼", "types": ["rel"]}, - "pprec": {"symbol": "⪻", "types": ["rel"]}, + "xgt": {"symbol": "≫", "types": ["rel"]}, "ggt": {"symbol": "≫", "types": ["rel"]}, + "xls": {"symbol": "≪", "types": ["rel"]}, "lls": {"symbol": "≪", "types": ["rel"]}, + "xlseq": {"symbol": "⪣", "types": ["rel"]}, "llseq": {"symbol": "⪣", "types": ["rel"]}, + "varxgt": {"symbol": "⪢", "types": ["rel"]}, "varggt": {"symbol": "⪢", "types": ["rel"]}, + "varxls": {"symbol": "⪡", "types": ["rel"]}, "varlls": {"symbol": "⪡", "types": ["rel"]}, + "xxgt": {"symbol": "⋙", "types": ["rel"]}, "gggt": {"symbol": "⋙", "types": ["rel"]}, + "xxls": {"symbol": "⋘", "types": ["rel"]}, "llls": {"symbol": "⋘", "types": ["rel"]}, + "varxxgt": {"symbol": "⫸", "types": ["rel"]}, "vargggt": {"symbol": "⫸", "types": ["rel"]}, + "varxxls": {"symbol": "⫷", "types": ["rel"]}, "varllls": {"symbol": "⫷", "types": ["rel"]}, + "succ": {"symbol": "≻", "types": ["rel"]}, + "nsucc": {"symbol": "⊁", "types": ["rel"]}, + "prec": {"symbol": "≺", "types": ["rel"]}, + "nprec": {"symbol": "⊀", "types": ["rel"]}, + "succeq": {"symbol": "⪰", "types": ["rel"]}, + "succneq": {"symbol": "⪲", "types": ["rel"]}, + "preceq": {"symbol": "⪯", "types": ["rel"]}, + "precneq": {"symbol": "⪱", "types": ["rel"]}, + "succeqq": {"symbol": "⪴", "types": ["rel"]}, + "succneqq": {"symbol": "⪶", "types": ["rel"]}, + "preceqq": {"symbol": "⪳", "types": ["rel"]}, + "precneqq": {"symbol": "⪵", "types": ["rel"]}, + "succsim": {"symbol": "≿", "types": ["rel"]}, + "succnsim": {"symbol": "⋩", "types": ["rel"]}, + "precsim": {"symbol": "≾", "types": ["rel"]}, + "precnsim": {"symbol": "⋨", "types": ["rel"]}, + "succapprox": {"symbol": "⪸", "types": ["rel"]}, + "succnapprox": {"symbol": "⪺", "types": ["rel"]}, + "precapprox": {"symbol": "⪷", "types": ["rel"]}, + "precnapprox": {"symbol": "⪹", "types": ["rel"]}, + "xsucc": {"symbol": "⪼", "types": ["rel"]}, "ssucc": {"symbol": "⪼", "types": ["rel"]}, + "xprec": {"symbol": "⪻", "types": ["rel"]}, "pprec": {"symbol": "⪻", "types": ["rel"]}, "succrel": {"symbol": "⊱", "types": ["rel"]}, "precrel": {"symbol": "⊰", "types": ["rel"]}, - "in": {"symbol": "∈", "types": ["rel"]}, "nin": {"symbol": "∉", "types": ["rel"]}, - "ni": {"symbol": "∋", "types": ["rel"]}, "nni": {"symbol": "∌", "types": ["rel"]}, + "in": {"symbol": "∈", "types": ["rel"]}, + "nin": {"symbol": "∉", "types": ["rel"]}, + "ni": {"symbol": "∋", "types": ["rel"]}, + "nni": {"symbol": "∌", "types": ["rel"]}, "ineq": {"symbol": "⋸", "types": ["rel"]}, "disin": {"symbol": "⋲", "types": ["rel"]}, "smt": {"symbol": "⪪", "types": ["rel"]}, "lat": {"symbol": "⪫", "types": ["rel"]}, "smteq": {"symbol": "⪬", "types": ["rel"]}, "lateq": {"symbol": "⪭", "types": ["rel"]}, - "supset": {"symbol": "⊃", "types": ["rel"]}, "nsupset": {"symbol": "⊃⃒", "types": ["rel"]}, - "subset": {"symbol": "⊂", "types": ["rel"]}, "nsubset": {"symbol": "⊂⃒", "types": ["rel"]}, - "supseteq": {"symbol": "⊇", "types": ["rel"]}, "nsupseteq": {"symbol": "⊉", "types": ["rel"]}, "supsetneq": {"symbol": "⊋", "types": ["rel"]}, - "subseteq": {"symbol": "⊆", "types": ["rel"]}, "nsubseteq": {"symbol": "⊈", "types": ["rel"]}, "subsetneq": {"symbol": "⊊", "types": ["rel"]}, - "supseteqq": {"symbol": "⫆", "types": ["rel"]}, "supsetneqq": {"symbol": "⫌", "types": ["rel"]}, - "subseteqq": {"symbol": "⫅", "types": ["rel"]}, "subsetneqq": {"symbol": "⫋", "types": ["rel"]}, + "supset": {"symbol": "⊃", "types": ["rel"]}, + "nsupset": {"symbol": "⊃⃒", "types": ["rel"]}, + "subset": {"symbol": "⊂", "types": ["rel"]}, + "nsubset": {"symbol": "⊂⃒", "types": ["rel"]}, + "supseteq": {"symbol": "⊇", "types": ["rel"]}, + "nsupseteq": {"symbol": "⊉", "types": ["rel"]}, + "supsetneq": {"symbol": "⊋", "types": ["rel"]}, + "subseteq": {"symbol": "⊆", "types": ["rel"]}, + "nsubseteq": {"symbol": "⊈", "types": ["rel"]}, + "subsetneq": {"symbol": "⊊", "types": ["rel"]}, + "supseteqq": {"symbol": "⫆", "types": ["rel"]}, + "supsetneqq": {"symbol": "⫌", "types": ["rel"]}, + "subseteqq": {"symbol": "⫅", "types": ["rel"]}, + "subsetneqq": {"symbol": "⫋", "types": ["rel"]}, "supsetsim": {"symbol": "⫈", "types": ["rel"]}, "subsetsim": {"symbol": "⫇", "types": ["rel"]}, "supsetapprox": {"symbol": "⫊", "types": ["rel"]}, "subsetapprox": {"symbol": "⫉", "types": ["rel"]}, - "ssupset": {"symbol": "⋑", "types": ["rel"]}, - "ssubset": {"symbol": "⋐", "types": ["rel"]}, - "sqsupset": {"symbol": "⊐", "types": ["rel"]}, "nsqsupset": {"symbol": "⊐̸", "types": ["rel"]}, - "sqsubset": {"symbol": "⊏", "types": ["rel"]}, "nsqsubset": {"symbol": "⊏̸", "types": ["rel"]}, - "sqsupseteq": {"symbol": "⊒", "types": ["rel"]}, "nsqsupseteq": {"symbol": "⋣", "types": ["rel"]}, "sqsupsetneq": {"symbol": "⋥", "types": ["rel"]}, - "sqsubseteq": {"symbol": "⊑", "types": ["rel"]}, "nsqsubseteq": {"symbol": "⋢", "types": ["rel"]}, "sqsubsetneq": {"symbol": "⋤", "types": ["rel"]}, - "rhd": {"symbol": "⊳", "types": ["rel"]}, "nrhd": {"symbol": "⋫", "types": ["rel"]}, - "lhd": {"symbol": "⊲", "types": ["rel"]}, "nlhd": {"symbol": "⋪", "types": ["rel"]}, - "rhdeq": {"symbol": "⊵", "types": ["rel"]}, "nrhdeq": {"symbol": "⋭", "types": ["rel"]}, - "lhdeq": {"symbol": "⊴", "types": ["rel"]}, "nlhdeq": {"symbol": "⋬", "types": ["rel"]}, + "xsupset": {"symbol": "⋑", "types": ["rel"]}, "ssupset": {"symbol": "⋑", "types": ["rel"]}, + "xsubset": {"symbol": "⋐", "types": ["rel"]}, "ssubset": {"symbol": "⋐", "types": ["rel"]}, + "sqsupset": {"symbol": "⊐", "types": ["rel"]}, + "nsqsupset": {"symbol": "⊐̸", "types": ["rel"]}, + "sqsubset": {"symbol": "⊏", "types": ["rel"]}, + "nsqsubset": {"symbol": "⊏̸", "types": ["rel"]}, + "sqsupseteq": {"symbol": "⊒", "types": ["rel"]}, + "nsqsupseteq": {"symbol": "⋣", "types": ["rel"]}, + "sqsupsetneq": {"symbol": "⋥", "types": ["rel"]}, + "sqsubseteq": {"symbol": "⊑", "types": ["rel"]}, + "nsqsubseteq": {"symbol": "⋢", "types": ["rel"]}, + "sqsubsetneq": {"symbol": "⋤", "types": ["rel"]}, + "rhd": {"symbol": "⊳", "types": ["rel"]}, + "nrhd": {"symbol": "⋫", "types": ["rel"]}, + "lhd": {"symbol": "⊲", "types": ["rel"]}, + "nlhd": {"symbol": "⋪", "types": ["rel"]}, + "rhdeq": {"symbol": "⊵", "types": ["rel"]}, + "nrhdeq": {"symbol": "⋭", "types": ["rel"]}, + "lhdeq": {"symbol": "⊴", "types": ["rel"]}, + "nlhdeq": {"symbol": "⋬", "types": ["rel"]}, "curverhd": {"symbol": "⪧", "types": ["rel"]}, "curvelhd": {"symbol": "⪦", "types": ["rel"]}, "barrhd": {"symbol": "⩥", "types": ["rel"]}, "barlhd": {"symbol": "⩤", "types": ["rel"]}, - "vdash": {"symbol": "⊢", "types": ["rel"]}, "nvdash": {"symbol": "⊬", "types": ["rel"]}, - "vddash": {"symbol": "⊨", "types": ["rel"]}, "nvddash": {"symbol": "⊭", "types": ["rel"]}, - "vvdash": {"symbol": "⊩", "types": ["rel"]}, "nvvdash": {"symbol": "⊮", "types": ["rel"]}, + "vdash": {"symbol": "⊢", "types": ["rel"]}, + "nvdash": {"symbol": "⊬", "types": ["rel"]}, + "vxdash": {"symbol": "⊨", "types": ["rel"]}, "vddash": {"symbol": "⊨", "types": ["rel"]}, + "nvxdash": {"symbol": "⊭", "types": ["rel"]}, "nvddash": {"symbol": "⊭", "types": ["rel"]}, + "xvdash": {"symbol": "⊩", "types": ["rel"]}, "vvdash": {"symbol": "⊩", "types": ["rel"]}, + "nxvdash": {"symbol": "⊮", "types": ["rel"]}, "nvvdash": {"symbol": "⊮", "types": ["rel"]}, "dashv": {"symbol": "⊣", "types": ["rel"]}, - "dashvv": {"symbol": "⫣", "types": ["rel"]}, - "ddashv": {"symbol": "⫤", "types": ["rel"]}, - "mid": {"symbol": "∣", "types": ["rel"]}, "nmid": {"symbol": "∤", "types": ["rel"]}, - "parallel": {"symbol": "∥", "types": ["rel"]}, "nparallel": {"symbol": "∦", "types": ["rel"]}, + "dashxv": {"symbol": "⫣", "types": ["rel"]}, "dashvv": {"symbol": "⫣", "types": ["rel"]}, + "xdashv": {"symbol": "⫤", "types": ["rel"]}, "ddashv": {"symbol": "⫤", "types": ["rel"]}, + "mid": {"symbol": "∣", "types": ["rel"]}, + "nmid": {"symbol": "∤", "types": ["rel"]}, + "parallel": {"symbol": "∥", "types": ["rel"]}, + "nparallel": {"symbol": "∦", "types": ["rel"]}, "between": {"symbol": "≬", "types": ["rel"]}, "perp": {"symbol": "⟂", "types": ["rel"]}, "propto": {"symbol": "∝", "types": ["rel"]}, @@ -263,25 +321,25 @@ "vvertlrarr": {"symbol": "⇼", "types": ["rel"]}, "bvvertlrarr": {"symbol": "⇼", "types": ["bin"]}, "circlerarr": {"symbol": "↻", "types": ["rel"]}, "circlelarr": {"symbol": "↺", "types": ["rel"]}, - "raarr": {"symbol": "⇒", "types": ["rel"]}, "braarr": {"symbol": "⇒", "types": ["bin"]}, - "laarr": {"symbol": "⇐", "types": ["rel"]}, "blaarr": {"symbol": "⇐", "types": ["bin"]}, - "lraarr": {"symbol": "⇔", "types": ["rel"]}, "blraarr": {"symbol": "⇔", "types": ["bin"]}, - "rmmap": {"symbol": "⤇", "types": ["rel"]}, "brmmap": {"symbol": "⤇", "types": ["bin"]}, - "lmmap": {"symbol": "⤆", "types": ["rel"]}, "blmmap": {"symbol": "⤆", "types": ["bin"]}, - "vertraarr": {"symbol": "⤃", "types": ["rel"]}, "bvertraarr": {"symbol": "⤃", "types": ["bin"]}, - "vertlaarr": {"symbol": "⤂", "types": ["rel"]}, "bvertlaarr": {"symbol": "⤂", "types": ["bin"]}, - "vertlraarr": {"symbol": "⤄", "types": ["rel"]}, "bvertlraarr": {"symbol": "⤄", "types": ["bin"]}, - "longraarr": {"symbol": "⟹", "types": ["rel"]}, - "longlaarr": {"symbol": "⟸", "types": ["rel"]}, - "longlraarr": {"symbol": "⟺", "types": ["rel"]}, - "raaarr": {"symbol": "⇛", "types": ["rel"]}, "braaarr": {"symbol": "⇛", "types": ["bin"]}, - "laaarr": {"symbol": "⇚", "types": ["rel"]}, "blaaarr": {"symbol": "⇚", "types": ["bin"]}, + "rxarr": {"symbol": "⇒", "types": ["rel"]}, "raarr": {"symbol": "⇒", "types": ["rel"]}, "brxarr": {"symbol": "⇒", "types": ["bin"]}, "braarr": {"symbol": "⇒", "types": ["bin"]}, + "lxarr": {"symbol": "⇐", "types": ["rel"]}, "laarr": {"symbol": "⇐", "types": ["rel"]}, "blxarr": {"symbol": "⇐", "types": ["bin"]}, "blaarr": {"symbol": "⇐", "types": ["bin"]}, + "lrxarr": {"symbol": "⇔", "types": ["rel"]}, "lraarr": {"symbol": "⇔", "types": ["rel"]}, "blrxarr": {"symbol": "⇔", "types": ["bin"]}, "blraarr": {"symbol": "⇔", "types": ["bin"]}, + "rxmap": {"symbol": "⤇", "types": ["rel"]}, "rmmap": {"symbol": "⤇", "types": ["rel"]}, "brxmap": {"symbol": "⤇", "types": ["bin"]}, "brmmap": {"symbol": "⤇", "types": ["bin"]}, + "lxmap": {"symbol": "⤆", "types": ["rel"]}, "lmmap": {"symbol": "⤆", "types": ["rel"]}, "blxmap": {"symbol": "⤆", "types": ["bin"]}, "blmmap": {"symbol": "⤆", "types": ["bin"]}, + "vertrxarr": {"symbol": "⤃", "types": ["rel"]}, "vertraarr": {"symbol": "⤃", "types": ["rel"]}, "bvertrxarr": {"symbol": "⤃", "types": ["bin"]}, "bvertraarr": {"symbol": "⤃", "types": ["bin"]}, + "vertlxarr": {"symbol": "⤂", "types": ["rel"]}, "vertlaarr": {"symbol": "⤂", "types": ["rel"]}, "bvertlxarr": {"symbol": "⤂", "types": ["bin"]}, "bvertlaarr": {"symbol": "⤂", "types": ["bin"]}, + "vertlrxarr": {"symbol": "⤄", "types": ["rel"]}, "vertlraarr": {"symbol": "⤄", "types": ["rel"]}, "bvertlrxarr": {"symbol": "⤄", "types": ["bin"]}, "bvertlraarr": {"symbol": "⤄", "types": ["bin"]}, + "longrxarr": {"symbol": "⟹", "types": ["rel"]}, "longraarr": {"symbol": "⟹", "types": ["rel"]}, + "longlxarr": {"symbol": "⟸", "types": ["rel"]}, "longlaarr": {"symbol": "⟸", "types": ["rel"]}, + "longlrxarr": {"symbol": "⟺", "types": ["rel"]}, "longlraarr": {"symbol": "⟺", "types": ["rel"]}, + "rxxarr": {"symbol": "⇛", "types": ["rel"]}, "raaarr": {"symbol": "⇛", "types": ["rel"]}, "brxxarr": {"symbol": "⇛", "types": ["bin"]}, "braaarr": {"symbol": "⇛", "types": ["bin"]}, + "lxxarr": {"symbol": "⇚", "types": ["rel"]}, "laaarr": {"symbol": "⇚", "types": ["rel"]}, "blxxarr": {"symbol": "⇚", "types": ["bin"]}, "blaaarr": {"symbol": "⇚", "types": ["bin"]}, "uarr": {"symbol": "↑", "types": ["rel"]}, "buarr": {"symbol": "↑", "types": ["bin"]}, "darr": {"symbol": "↓", "types": ["rel"]}, "bdarr": {"symbol": "↓", "types": ["bin"]}, "udarr": {"symbol": "↕", "types": ["rel"]}, "budarr": {"symbol": "↕", "types": ["bin"]}, - "uaarr": {"symbol": "⇑", "types": ["rel"]}, "buaarr": {"symbol": "⇑", "types": ["bin"]}, - "daarr": {"symbol": "⇓", "types": ["rel"]}, "bdaarr": {"symbol": "⇓", "types": ["bin"]}, - "udaarr": {"symbol": "⇕", "types": ["rel"]}, "budaarr": {"symbol": "⇕", "types": ["bin"]}, + "uxarr": {"symbol": "⇑", "types": ["rel"]},"uaarr": {"symbol": "⇑", "types": ["rel"]}, "buxarr": {"symbol": "⇑", "types": ["bin"]}, "buaarr": {"symbol": "⇑", "types": ["bin"]}, + "dxarr": {"symbol": "⇓", "types": ["rel"]},"daarr": {"symbol": "⇓", "types": ["rel"]}, "bdxarr": {"symbol": "⇓", "types": ["bin"]}, "bdaarr": {"symbol": "⇓", "types": ["bin"]}, + "udxarr": {"symbol": "⇕", "types": ["rel"]}, "udaarr": {"symbol": "⇕", "types": ["rel"]}, "budxarr": {"symbol": "⇕", "types": ["bin"]}, "budaarr": {"symbol": "⇕", "types": ["bin"]}, "scand": {"symbol": "AND", "types": ["sbin", "sml"]}, "scor": {"symbol": "OR", "types": ["sbin", "sml"]}, "scimplies": {"symbol": "IMPLIES", "types": ["sbin", "sml"]}, @@ -297,12 +355,12 @@ "ques": {"symbol": "?", "types": ["ord", "txt"]}, "hyphen": {"symbol": "-", "types": ["ord", "txt"]}, "pr": {"symbol": "\uDB80\uDF98", "types": ["ord"]}, - "ppr": {"symbol": "\uDB80\uDF99", "types": ["ord"]}, - "pppr": {"symbol": "\uDB80\uDF9A", "types": ["ord"]}, - "ppppr": {"symbol": "\uDB80\uDF9B", "types": ["ord"]}, + "xpr": {"symbol": "\uDB80\uDF99", "types": ["ord"]}, "ppr": {"symbol": "\uDB80\uDF99", "types": ["ord"]}, + "xxpr": {"symbol": "\uDB80\uDF9A", "types": ["ord"]}, "pppr": {"symbol": "\uDB80\uDF9A", "types": ["ord"]}, + "xxxpr": {"symbol": "\uDB80\uDF9B", "types": ["ord"]}, "ppppr": {"symbol": "\uDB80\uDF9B", "types": ["ord"]}, "bpr": {"symbol": "\uDB80\uDF9C", "types": ["ord"]}, - "bppr": {"symbol": "\uDB80\uDF9D", "types": ["ord"]}, - "bpppr": {"symbol": "\uDB80\uDF9E", "types": ["ord"]}, + "bxpr": {"symbol": "\uDB80\uDF9D", "types": ["ord"]}, "bppr": {"symbol": "\uDB80\uDF9D", "types": ["ord"]}, + "bxxpr": {"symbol": "\uDB80\uDF9E", "types": ["ord"]}, "bpppr": {"symbol": "\uDB80\uDF9E", "types": ["ord"]}, "not": {"symbol": "\u0338", "types": ["not"]}, "partial": {"symbol": "∂", "types": ["ord", "txt"]}, "nabla": {"symbol": "∇", "types": ["ord"]}, @@ -322,7 +380,7 @@ "quaver": {"symbol": "♪", "types": ["ord"]}, "linkquaver": {"symbol": "♫", "types": ["ord"]}, "dagger": {"symbol": "†", "types": ["ord", "txt"]}, - "ddagger": {"symbol": "‡", "types": ["ord", "txt"]}, + "xdagger": {"symbol": "‡", "types": ["ord", "txt"]}, "ddagger": {"symbol": "‡", "types": ["ord", "txt"]}, "bspade": {"symbol": "♠", "types": ["ord"]}, "bheart": {"symbol": "♥", "types": ["ord"]}, "bdiamond": {"symbol": "♦", "types": ["ord"]}, @@ -335,11 +393,12 @@ "backslash": {"symbol": "\\","types": ["ord"]}, "top": {"symbol": "⊤", "types": ["ord"]}, "bot": {"symbol": "⊥", "types": ["ord"]}, - "ttop": {"symbol": "⫪", "types": ["ord"]}, - "bbot": {"symbol": "⫫", "types": ["ord"]}, + "xtop": {"symbol": "⫪", "types": ["ord"]}, "ttop": {"symbol": "⫪", "types": ["ord"]}, + "xbot": {"symbol": "⫫", "types": ["ord"]}, "bbot": {"symbol": "⫫", "types": ["ord"]}, "neg": {"symbol": "¬", "types": ["ord"]}, "forall": {"symbol": "∀", "types": ["ord"]}, - "exists": {"symbol": "∃", "types": ["ord"]}, "nexists": {"symbol": "∄", "types": ["ord"]}, + "exists": {"symbol": "∃", "types": ["ord"]}, + "nexists": {"symbol": "∄", "types": ["ord"]}, "aleph": {"symbol": "ℵ", "types": ["ord"]}, "beth": {"symbol": "ℶ", "types": ["ord"]}, "ldots": {"symbol": "…", "types": ["ord"]}, @@ -347,19 +406,32 @@ "vdots": {"symbol": "⋮", "types": ["ord"]}, "ddots": {"symbol": "⋱", "types": ["ord"]}, "udots": {"symbol": "⋰", "types": ["ord"]}, - "lparen": {"symbol": "(", "types": ["lpar"]}, "rparen": {"symbol": ")", "types": ["rpar"]}, - "lpparen": {"symbol": "⦅", "types": ["lpar"]}, "rpparen": {"symbol": "⦆", "types": ["rpar"]}, - "lbracket": {"symbol": "[", "types": ["lpar"]}, "rbracket": {"symbol": "]", "types": ["rpar"]}, - "lbbracket": {"symbol": "⟦", "types": ["lpar"]}, "rbbracket": {"symbol": "⟧", "types": ["rpar"]}, - "lbrace": {"symbol": "{", "types": ["lpar"]}, "rbrace": {"symbol": "}", "types": ["rpar"]}, - "lbbrace": {"symbol": "⦃", "types": ["lpar"]}, "rbbrace": {"symbol": "⦄", "types": ["rpar"]}, - "lvert": {"symbol": "|", "types": ["lpar"]}, "rvert": {"symbol": "|", "types": ["rpar"]}, - "lvvert": {"symbol": "‖", "types": ["lpar"]}, "rvvert": {"symbol": "‖", "types": ["rpar"]}, - "lfloor": {"symbol": "⌊", "types": ["lpar"]}, "rfloor": {"symbol": "⌋", "types": ["rpar"]}, - "lceil": {"symbol": "⌈", "types": ["lpar"]}, "rceil": {"symbol": "⌉", "types": ["rpar"]}, - "langle": {"symbol": "⟨", "types": ["lpar"]}, "rangle": {"symbol": "⟩", "types": ["rpar"]}, - "laangle": {"symbol": "⟪", "types": ["lpar"]}, "raangle": {"symbol": "⟫", "types": ["rpar"]}, - "ltort": {"symbol": "❲", "types": ["lpar"]}, "rtort": {"symbol": "❳", "types": ["rpar"]} + "lparen": {"symbol": "(", "types": ["lpar"]}, + "rparen": {"symbol": ")", "types": ["rpar"]}, + "lxparen": {"symbol": "⦅", "types": ["lpar"]}, "lpparen": {"symbol": "⦅", "types": ["lpar"]}, + "rxparen": {"symbol": "⦆", "types": ["rpar"]}, "rpparen": {"symbol": "⦆", "types": ["rpar"]}, + "lbracket": {"symbol": "[", "types": ["lpar"]}, + "rbracket": {"symbol": "]", "types": ["rpar"]}, + "lxbracket": {"symbol": "⟦", "types": ["lpar"]}, "lbbracket": {"symbol": "⟦", "types": ["lpar"]}, + "rxbracket": {"symbol": "⟧", "types": ["rpar"]}, "rbbracket": {"symbol": "⟧", "types": ["rpar"]}, + "lbrace": {"symbol": "{", "types": ["lpar"]}, + "rbrace": {"symbol": "}", "types": ["rpar"]}, + "lxbrace": {"symbol": "⦃", "types": ["lpar"]}, "lbbrace": {"symbol": "⦃", "types": ["lpar"]}, + "rxbrace": {"symbol": "⦄", "types": ["rpar"]}, "rbbrace": {"symbol": "⦄", "types": ["rpar"]}, + "lvert": {"symbol": "|", "types": ["lpar"]}, + "rvert": {"symbol": "|", "types": ["rpar"]}, + "lxvert": {"symbol": "‖", "types": ["lpar"]}, "lvvert": {"symbol": "‖", "types": ["lpar"]}, + "rxvert": {"symbol": "‖", "types": ["rpar"]}, "rvvert": {"symbol": "‖", "types": ["rpar"]}, + "lfloor": {"symbol": "⌊", "types": ["lpar"]}, + "rfloor": {"symbol": "⌋", "types": ["rpar"]}, + "lceil": {"symbol": "⌈", "types": ["lpar"]}, + "rceil": {"symbol": "⌉", "types": ["rpar"]}, + "langle": {"symbol": "⟨", "types": ["lpar"]}, + "rangle": {"symbol": "⟩", "types": ["rpar"]}, + "lxangle": {"symbol": "⟪", "types": ["lpar"]}, "laangle": {"symbol": "⟪", "types": ["lpar"]}, + "rxangle": {"symbol": "⟫", "types": ["rpar"]}, "raangle": {"symbol": "⟫", "types": ["rpar"]}, + "ltort": {"symbol": "❲", "types": ["lpar"]}, + "rtort": {"symbol": "❳", "types": ["rpar"]} }, "radical": { "0": "√", "1": "\uDB80\uDD1D", "2": "\uDB80\uDD1E", "3": "\uDB80\uDD1F", @@ -367,12 +439,12 @@ }, "integral": { "int": {"inl": "∫", "lrg": "\uDB80\uDD35"}, - "iint": {"inl": "∬", "lrg": "\uDB80\uDD3A"}, - "iiint": {"inl": "∭", "lrg": "\uDB80\uDD3F"}, - "iiiint": {"inl": "⨌", "lrg": "\uDB80\uDE24"}, + "xint": {"inl": "∬", "lrg": "\uDB80\uDD3A"}, "iint": {"inl": "∬", "lrg": "\uDB80\uDD3A"}, + "xxint": {"inl": "∭", "lrg": "\uDB80\uDD3F"}, "iiint": {"inl": "∭", "lrg": "\uDB80\uDD3F"}, + "xxxint": {"inl": "⨌", "lrg": "\uDB80\uDE24"}, "iiiint": {"inl": "⨌", "lrg": "\uDB80\uDE24"}, "oint": {"inl": "∮", "lrg": "\uDB80\uDD44"}, - "oiint": {"inl": "∯", "lrg": "\uDB80\uDD49"}, - "oiiint": {"inl": "∰", "lrg": "\uDB80\uDD4E"}, + "oxint": {"inl": "∯", "lrg": "\uDB80\uDD49"}, "oiint": {"inl": "∯", "lrg": "\uDB80\uDD49"}, + "oxxint": {"inl": "∰", "lrg": "\uDB80\uDD4E"}, "oiiint": {"inl": "∰", "lrg": "\uDB80\uDD4E"}, "intclock": {"inl": "∱", "lrg": "\uDB80\uDD53"}, "intanticlock": {"inl": "⨑", "lrg": "\uDB80\uDE3D"}, "ointclock": {"inl": "∲", "lrg": "\uDB80\uDD58"}, @@ -408,6 +480,16 @@ "start": "⎞", "bar":"⎟", "end": "⎠" } }, + "xparen": { + "left": { + "0": "⦅", + "1": "\uDB80\uDE0A", "2": "\uDB80\uDE0B", "3": "\uDB80\uDE0C", "4": "\uDB80\uDE0D" + }, + "right": { + "0": "⦆", + "1": "\uDB80\uDE0E", "2": "\uDB80\uDE0F", "3": "\uDB80\uDE10", "4": "\uDB80\uDE11" + } + }, "pparen": { "left": { "0": "⦅", @@ -432,6 +514,16 @@ "start": "⎤", "bar": "⎥", "end": "⎦" } }, + "xbracket": { + "left": { + "0": "⟦", + "1": "\uDB80\uDDE8", "2": "\uDB80\uDDE9", "3": "\uDB80\uDDEA", "4": "\uDB80\uDDEB" + }, + "right": { + "0": "⟧", + "1": "\uDB80\uDDEC", "2": "\uDB80\uDDED", "3": "\uDB80\uDDEE", "4": "\uDB80\uDDEF" + } + }, "bbracket": { "left": { "0": "⟦", @@ -456,6 +548,16 @@ "start": "⎫", "bar": "⎪", "middle": "⎬", "end": "⎭" } }, + "xbrace": { + "left": { + "0": "⦃", + "1": "\uDB80\uDE02", "2": "\uDB80\uDE03", "3": "\uDB80\uDE04", "4": "\uDB80\uDE05" + }, + "right": { + "0": "⦄", + "1": "\uDB80\uDE06", "2": "\uDB80\uDE07", "3": "\uDB80\uDE08", "4": "\uDB80\uDE09" + } + }, "bbrace": { "left": { "0": "⦃", @@ -476,6 +578,16 @@ "bar": "|" } }, + "xvert": { + "left": { + "0": "‖", + "bar": "‖" + }, + "right": { + "0": "‖", + "bar": "‖" + } + }, "vvert": { "left": { "0": "‖", @@ -516,6 +628,16 @@ "1": "\uDB80\uDDF4", "2": "\uDB80\uDDF5", "3": "\uDB80\uDDF6", "4": "\uDB80\uDDF7" } }, + "xangle": { + "left": { + "0": "⟪", + "1": "\uDB80\uDDF8", "2": "\uDB80\uDDF9", "3": "\uDB80\uDDFA", "4": "\uDB80\uDDFB" + }, + "right": { + "0": "⟫", + "1": "\uDB80\uDDFC", "2": "\uDB80\uDDFD", "3": "\uDB80\uDDFE", "4": "\uDB80\uDDFF" + } + }, "aangle": { "left": { "0": "⟪", @@ -552,9 +674,9 @@ "vec": {"un": null, "ov": "\uDB81\uDD77"}, "invvec": {"un": null, "ov": "\uDB81\uDD76"}, "dot": {"un": null, "ov": "\uDB81\uDD07"}, - "ddot": {"un": null, "ov": "\uDB81\uDD08"}, - "dddot": {"un": null, "ov": "\uDB81\uDD7B"}, - "ddddot": {"un": null, "ov": "\uDB81\uDD7C"}, + "xdot": {"un": null, "ov": "\uDB81\uDD08"}, "ddot": {"un": null, "ov": "\uDB81\uDD08"}, + "xxdot": {"un": null, "ov": "\uDB81\uDD7B"}, "dddot": {"un": null, "ov": "\uDB81\uDD7B"}, + "xxxdot": {"un": null, "ov": "\uDB81\uDD7C"}, "ddddot": {"un": null, "ov": "\uDB81\uDD7C"}, "barbelow": {"un": "\uDB81\uDD31", "ov": null}, "tildebelow": {"un": "\uDB81\uDD30", "ov": null} }, @@ -698,7 +820,7 @@ } }, "space": { - "sfun": "afun", "sbin": "abin", "srel": "arel", "ssbin": "asbin", "ssrel": "asrel", "scas": "acas", "quad": "sgl", "qquad": "dbl" + "sfun": "afun", "sbin": "abin", "srel": "arel", "ssbin": "asbin", "ssrel": "asrel", "scas": "acas", "quad": "sgl", "xquad": "dbl", "qquad": "dbl" }, "alternative": { "bb": {