tex2typst 0.3.6 → 0.3.8

package/dist/index.js

@@ -55,63 +55,25 @@ var symbolMap = /* @__PURE__ */ new Map([
   ["rm", "upright"],
   // TODO: \pmb need special logic to handle but it is not implemented now. See the commented test case.
   ["pmb", "bold"],
-  /* variants of plus,minus,times,divide */
-  ["pm", "plus.minus"],
-  ["mp", "minus.plus"],
-  ["boxplus", "plus.square"],
-  ["otimes", "times.circle"],
-  ["boxtimes", "times.square"],
-  /* wave */
-  // tex: \sim \approx \cong \simeq \asymp \equiv \propto
-  // typst: tilde.op approx tilde.equiv tilde.eq ≍ equiv prop
-  ["approx", "approx"],
-  ["cong", "tilde.equiv"],
-  ["simeq", "tilde.eq"],
-  ["asymp", "\u224D"],
-  // just use the unicode character :-)
-  ["equiv", "equiv"],
-  ["propto", "prop"],
-  /* arrows */
-  // ['longmapsto', 'arrow.r.bar'],
   ["leadsto", "arrow.r.squiggly"],
-  ["Cap", "sect.double"],
-  ["Cup", "union.double"],
+  ["P", "pilcrow"],
+  ["S", "section"],
+  ["aleph", "alef"],
   ["Delta", "Delta"],
   ["Gamma", "Gamma"],
-  ["Join", "join"],
   ["Lambda", "Lambda"],
   ["Omega", "Omega"],
-  ["P", "pilcrow"],
   ["Phi", "Phi"],
   ["Pi", "Pi"],
   ["Psi", "Psi"],
-  ["Rightarrow", "arrow.r.double"],
-  ["S", "section"],
   ["Sigma", "Sigma"],
   ["Theta", "Theta"],
-  ["aleph", "alef"],
   ["alpha", "alpha"],
   // ['amalg', 'product.co'], 
-  ["angle", "angle"],
-  ["approx", "approx"],
-  ["approxeq", "approx.eq"],
-  // ['ast', 'ast'], 
   ["beta", "beta"],
-  ["bigcap", "sect.big"],
   ["bigcirc", "circle.big"],
-  ["bigcup", "union.big"],
-  ["bigodot", "dot.circle.big"],
-  // ['bigoplus', 'xor.big'], // or "plus.circle.big"
-  ["bigotimes", "times.circle.big"],
-  ["bigsqcup", "union.sq.big"],
-  // ['bigtriangledown', 'triangle.b'], 
-  // ['bigtriangleup', 'triangle.t'], 
-  ["biguplus", "union.plus.big"],
-  ["bigvee", "or.big"],
-  ["bigwedge", "and.big"],
   // ['bowtie', 'join'], 
   ["bullet", "bullet"],
-  ["cap", "sect"],
   ["cdot", "dot.op"],
   // 'dot.op' or 'dot.c'
   ["cdots", "dots.c"],
@@ -209,7 +171,6 @@ var symbolMap = /* @__PURE__ */ new Map([
   ["oiint", "integral.surf"],
   ["oiiint", "integral.vol"],
   ["omega", "omega"],
-  // ['omicron', 'omicron'], 
   ["ominus", "minus.circle"],
   // ['oplus', 'xor'], // or 'plus.circle'
   ["otimes", "times.circle"],
@@ -242,8 +203,6 @@ var symbolMap = /* @__PURE__ */ new Map([
   ["smallsetminus", "without"],
   // ['smile', 'paren.b'], 
   ["spadesuit", "suit.spade"],
-  ["sqcap", "sect.sq"],
-  ["sqcup", "union.sq"],
   ["sqsubseteq", "subset.eq.sq"],
   ["sqsupseteq", "supset.eq.sq"],
   // ['star', 'star'], 
@@ -291,761 +250,790 @@ var symbolMap = /* @__PURE__ */ new Map([
   ["TeX", "#TeX"]
 ]);
 var map_from_official_docs = /* @__PURE__ */ new Map([
-  ["lparen", "paren.l"],
-  ["lParen", "paren.l.double"],
-  ["rparen", "paren.r"],
-  ["rParen", "paren.r.double"],
-  ["overparen", "paren.t"],
-  ["underparen", "paren.b"],
-  ["lbrace", "brace.l"],
-  ["lBrace", "brace.l.double"],
-  ["rbrace", "brace.r"],
-  ["rBrace", "brace.r.double"],
-  // ['overbrace', 'brace.t'],
-  ["underbrace", "brace.b"],
-  ["lbrack", "bracket.l"],
-  ["lBrack", "bracket.l.double"],
-  ["rbrack", "bracket.r"],
-  ["rBrack", "bracket.r.double"],
-  ["overbracket", "bracket.t"],
-  ["underbracket", "bracket.b"],
-  ["lbrbrak", "shell.l"],
-  ["Lbrbrak", "shell.l.double"],
-  ["rbrbrak", "shell.r"],
-  ["Rbrbrak", "shell.r.double"],
-  ["obrbrak", "shell.t"],
-  ["ubrbrak", "shell.b"],
-  ["vert", "bar.v"],
-  ["Vert", "bar.v.double"],
-  ["Vvert", "bar.v.triple"],
-  ["circledvert", "bar.v.circle"],
-  ["horizbar", "bar.h"],
-  ["lvzigzag", "fence.l"],
-  ["Lvzigzag", "fence.l.double"],
-  ["rvzigzag", "fence.r"],
-  ["Rvzigzag", "fence.r.double"],
-  ["fourvdots", "fence.dotted"],
-  ["angle", "angle"],
-  ["langle", "angle.l"],
-  ["lcurvyangle", "angle.l.curly"],
-  ["langledot", "angle.l.dot"],
-  ["rangle", "angle.r"],
-  ["rcurvyangle", "angle.r.curly"],
-  ["rangledot", "angle.r.dot"],
+  ["acwopencirclearrow", "arrow.ccw"],
+  ["adots", "dots.up"],
   ["angdnr", "angle.acute"],
-  ["measuredangle", "angle.arc"],
-  ["measuredangleleft", "angle.arc.rev"],
-  ["wideangledown", "angle.oblique"],
-  ["revangle", "angle.rev"],
-  ["rightangle", "angle.right"],
-  ["measuredrightangle", "angle.right.arc"],
-  ["rightanglemdot", "angle.right.dot"],
-  ["rightanglesqr", "angle.right.sq"],
+  ["angle", "angle"],
   ["angles", "angle.s"],
-  ["threedangle", "angle.spatial"],
-  ["sphericalangle", "angle.spheric"],
-  ["gtlpar", "angle.spheric.rev"],
-  ["sphericalangleup", "angle.spheric.top"],
-  ["lceil", "ceil.l"],
-  ["rceil", "ceil.r"],
-  ["lfloor", "floor.l"],
-  ["rfloor", "floor.r"],
-  ["mathampersand", "amp"],
-  ["upand", "amp.inv"],
+  ["approx", "approx"],
+  ["approxeq", "approx.eq"],
+  ["approxident", "tilde.triple"],
+  ["assert", "tack.r.short"],
   ["ast", "ast.op"],
-  ["circledast", "ast.circle"],
-  ["boxast", "ast.square"],
-  ["mathatsign", "at"],
+  ["asymp", "asymp"],
+  ["awint", "integral.ccw"],
+  ["backcong", "tilde.rev.equiv"],
+  ["backdprime", "prime.double.rev"],
+  ["backprime", "prime.rev"],
+  ["backsim", "tilde.rev"],
+  ["backsimeq", "tilde.eq.rev"],
   ["backslash", "backslash"],
-  ["obslash", "backslash.circle"],
-  ["rsolbar", "backslash.not"],
-  ["mathcolon", "colon"],
+  ["backtrprime", "prime.triple.rev"],
+  ["bardownharpoonleft", "harpoon.bl.bar"],
+  ["bardownharpoonright", "harpoon.br.bar"],
+  ["barleftarrow", "arrow.l.stop"],
+  ["barleftarrowrightarrowbar", "arrows.lr.stop"],
+  ["barleftharpoondown", "harpoon.lb.stop"],
+  ["barleftharpoonup", "harpoon.lt.stop"],
+  ["barrightharpoondown", "harpoon.rb.bar"],
+  ["barrightharpoonup", "harpoon.rt.bar"],
+  ["baruparrow", "arrow.t.stop"],
+  ["barupharpoonleft", "harpoon.tl.stop"],
+  ["barupharpoonright", "harpoon.tr.stop"],
+  ["barV", "tack.b.double"],
+  ["BbbA", "AA"],
+  ["BbbB", "BB"],
+  ["BbbC", "CC"],
+  ["BbbD", "DD"],
+  ["BbbE", "EE"],
+  ["BbbF", "FF"],
+  ["BbbG", "GG"],
+  ["BbbH", "HH"],
+  ["BbbI", "II"],
+  ["BbbJ", "JJ"],
+  ["BbbK", "KK"],
+  ["BbbL", "LL"],
+  ["BbbM", "MM"],
+  ["BbbN", "NN"],
+  ["BbbO", "OO"],
+  ["BbbP", "PP"],
+  ["BbbQ", "QQ"],
+  ["BbbR", "RR"],
+  ["BbbS", "SS"],
+  ["BbbT", "TT"],
+  ["BbbU", "UU"],
+  ["BbbV", "VV"],
+  ["BbbW", "WW"],
+  ["BbbX", "XX"],
+  ["BbbY", "YY"],
+  ["BbbZ", "ZZ"],
+  ["because", "because"],
+  ["bigblacktriangledown", "triangle.filled.b"],
+  ["bigblacktriangleup", "triangle.filled.t"],
+  ["bigbot", "tack.t.big"],
+  ["bigcap", "inter.big"],
+  ["bigcup", "union.big"],
+  ["bigcupdot", "union.dot.big"],
+  ["biginterleave", "interleave.big"],
+  ["bigodot", "dot.circle.big"],
+  ["bigoplus", "plus.circle.big"],
+  // or 'xor.big'
+  ["bigotimes", "times.circle.big"],
+  ["bigsqcap", "inter.sq.big"],
+  ["bigsqcup", "union.sq.big"],
+  ["bigstar", "star.filled"],
+  ["bigtimes", "times.big"],
+  ["bigtop", "tack.b.big"],
+  ["bigtriangledown", "triangle.stroked.b"],
+  // or 'triangle.b'
+  ["bigtriangleup", "triangle.stroked.t"],
+  // or 'triangle.t'
+  ["biguplus", "union.plus.big"],
+  ["bigvee", "or.big"],
+  ["bigwedge", "and.big"],
+  ["bigwhitestar", "star.stroked"],
+  ["blackhourglass", "hourglass.filled"],
+  ["blacktriangle", "triangle.filled.small.t"],
+  ["blacktriangledown", "triangle.filled.small.b"],
+  ["blacktriangleleft", "triangle.filled.l"],
+  ["blacktriangleright", "triangle.filled.r"],
+  ["blkhorzoval", "ellipse.filled.h"],
+  ["blkvertoval", "ellipse.filled.v"],
+  ["bot", "bot"],
+  ["boxast", "ast.square"],
+  ["boxdot", "dot.square"],
+  ["boxminus", "minus.square"],
+  ["boxplus", "plus.square"],
+  ["boxtimes", "times.square"],
+  ["cap", "inter"],
+  ["Cap", "inter.double"],
+  ["capdot", "inter.dot"],
+  ["capwedge", "inter.and"],
+  ["caretinsert", "caret"],
+  ["cdot", "dot.op"],
+  ["cdotp", "dot.c"],
+  ["checkmark", "checkmark"],
+  ["circledast", "ast.circle"],
+  ["circledcirc", "circle.nested"],
+  ["circleddash", "dash.circle"],
+  ["circledequal", "eq.circle"],
+  ["circledparallel", "parallel.circle"],
+  ["circledvert", "bar.v.circle"],
+  ["clubsuit", "suit.club.filled"],
   ["Colon", "colon.double"],
   ["coloneq", "colon.eq"],
   ["Coloneq", "colon.double.eq"],
-  ["mathcomma", "comma"],
+  ["complement", "complement"],
+  ["cong", "tilde.equiv"],
+  ["coprod", "product.co"],
+  ["cup", "union"],
+  ["Cup", "union.double"],
+  ["cupdot", "union.dot"],
+  ["cupleftarrow", "union.arrow"],
+  ["cupvee", "union.or"],
+  ["curlyeqprec", "eq.prec"],
+  ["curlyeqsucc", "eq.succ"],
+  ["curlyvee", "or.curly"],
+  ["curlywedge", "and.curly"],
+  ["curvearrowleft", "arrow.ccw.half"],
+  ["curvearrowright", "arrow.cw.half"],
+  ["cwopencirclearrow", "arrow.cw"],
   ["dagger", "dagger"],
-  ["ddagger", "dagger.double"],
   ["dashcolon", "dash.colon"],
-  ["circleddash", "dash.circle"],
-  ["hzigzag", "dash.wave.double"],
-  ["cdot", "dot.op"],
-  ["mathperiod", "dot.basic"],
-  ["cdotp", "dot.c"],
-  ["odot", "dot.circle"],
-  ["bigodot", "dot.circle.big"],
-  ["boxdot", "dot.square"],
-  ["dddot", "dot.triple"],
+  ["dashv", "tack.l"],
+  ["Dashv", "tack.l.double"],
+  ["dashVdash", "tack.l.r"],
+  ["ddagger", "dagger.double"],
   ["ddddot", "dot.quad"],
-  ["mathexclam", "excl"],
-  ["Exclam", "excl.double"],
-  ["mathquestion", "quest"],
-  ["Question", "quest.double"],
-  ["mathoctothorpe", "hash"],
-  // ['mathhyphen', 'hyph'],
-  ["mathpercent", "percent"],
-  ["mathparagraph", "pilcrow"],
-  ["mathsection", "section"],
-  ["mathsemicolon", "semi"],
-  ["mathslash", "slash"],
-  ["sslash", "slash.double"],
-  ["trslash", "slash.triple"],
-  ["xsol", "slash.big"],
-  ["unicodecdots", "dots.h.c"],
-  ["unicodeellipsis", "dots.h"],
-  ["vdots", "dots.v"],
+  ["dddot", "dot.triple"],
   ["ddots", "dots.down"],
-  ["adots", "dots.up"],
-  ["sim", "tilde.op"],
+  ["DDownarrow", "arrow.b.quad"],
+  ["Ddownarrow", "arrow.b.triple"],
+  ["diameter", "diameter"],
+  ["diamondcdot", "diamond.stroked.dot"],
+  ["diamondsuit", "suit.diamond.stroked"],
+  ["dicei", "die.one"],
+  ["diceii", "die.two"],
+  ["diceiii", "die.three"],
+  ["diceiv", "die.four"],
+  ["dicev", "die.five"],
+  ["dicevi", "die.six"],
+  ["div", "div"],
+  ["divideontimes", "times.div"],
+  ["Doteq", "eq.dots"],
+  ["dotminus", "minus.dot"],
+  ["dotplus", "plus.dot"],
   ["dotsim", "tilde.dot"],
-  ["sime", "tilde.eq"],
-  ["nsimeq", "tilde.eq.not"],
-  ["backsimeq", "tilde.eq.rev"],
-  ["cong", "tilde.equiv"],
-  ["ncong", "tilde.equiv.not"],
-  ["simneqq", "tilde.nequiv"],
-  ["nsim", "tilde.not"],
-  ["backsim", "tilde.rev"],
-  ["backcong", "tilde.rev.equiv"],
-  ["approxident", "tilde.triple"],
-  ["caretinsert", "caret"],
-  ["prime", "prime"],
-  ["backprime", "prime.rev"],
-  ["dprime", "prime.double"],
-  ["backdprime", "prime.double.rev"],
-  ["trprime", "prime.triple"],
-  ["backtrprime", "prime.triple.rev"],
-  ["qprime", "prime.quad"],
-  ["mathplus", "plus"],
-  ["oplus", "plus.circle"],
-  ["rightarrowonoplus", "plus.circle.arrow"],
-  ["bigoplus", "plus.circle.big"],
-  ["dotplus", "plus.dot"],
+  ["dottedcircle", "circle.dotted"],
+  ["dottedsquare", "square.stroked.dotted"],
   ["doubleplus", "plus.double"],
-  ["pm", "plus.minus"],
-  ["boxplus", "plus.square"],
-  ["triangleplus", "plus.triangle"],
-  ["tripleplus", "plus.triple"],
-  ["minus", "minus"],
-  ["ominus", "minus.circle"],
-  ["dotminus", "minus.dot"],
-  ["mp", "minus.plus"],
-  ["boxminus", "minus.square"],
-  ["eqsim", "minus.tilde"],
-  ["triangleminus", "minus.triangle"],
-  ["div", "div"],
-  ["odiv", "div.circle"],
-  ["times", "times"],
-  ["bigtimes", "times.big"],
-  ["otimes", "times.circle"],
-  ["bigotimes", "times.circle.big"],
-  ["divideontimes", "times.div"],
-  ["leftthreetimes", "times.three.l"],
-  ["rightthreetimes", "times.three.r"],
-  ["ltimes", "times.l"],
-  ["rtimes", "times.r"],
-  ["boxtimes", "times.square"],
-  ["triangletimes", "times.triangle"],
-  ["mathratio", "ratio"],
-  ["equal", "eq"],
-  ["stareq", "eq.star"],
-  ["circledequal", "eq.circle"],
+  ["downarrow", "arrow.b"],
+  ["Downarrow", "arrow.b.double"],
+  ["downarrowbar", "arrow.b.stop"],
+  ["downdasharrow", "arrow.b.dashed"],
+  ["downdownarrows", "arrows.bb"],
+  ["downharpoonleft", "harpoon.bl"],
+  ["downharpoonleftbar", "harpoon.bl.stop"],
+  ["downharpoonright", "harpoon.br"],
+  ["downharpoonrightbar", "harpoon.br.stop"],
+  ["downharpoonsleftright", "harpoons.blbr"],
+  ["downrightcurvedarrow", "arrow.b.curve"],
+  ["downuparrows", "arrows.bt"],
+  ["downupharpoonsleftright", "harpoons.bltr"],
+  ["downwhitearrow", "arrow.b.stroked"],
+  ["downzigzagarrow", "arrow.zigzag"],
+  ["dprime", "prime.double"],
+  ["dualmap", "multimap.double"],
+  ["eighthnote", "note.eighth.alt"],
+  ["ell", "ell"],
+  ["emptysetoarr", "emptyset.arrow.r"],
+  ["emptysetoarrl", "emptyset.arrow.l"],
+  ["emptysetobar", "emptyset.bar"],
+  ["emptysetocirc", "emptyset.circle"],
+  ["eparsl", "parallel.slanted.eq"],
   ["eqcolon", "eq.colon"],
-  // \usepackage{mathtools} defines \eqdef
-  // https://tex.stackexchange.com/questions/28836/typesetting-the-define-equals-symbol
   ["eqdef", "eq.def"],
-  ["triangleq", "eq.delta"],
-  ["veeeq", "eq.equi"],
-  ["wedgeq", "eq.est"],
+  // \usepackage{mathtools} defines \eqdef
   ["eqgtr", "eq.gt"],
   ["eqless", "eq.lt"],
-  ["measeq", "eq.m"],
-  ["ne", "eq.not"],
-  ["curlyeqprec", "eq.prec"],
-  ["questeq", "eq.quest"],
-  ["curlyeqsucc", "eq.succ"],
+  ["eqsim", "minus.tilde"],
+  ["equal", "eq"],
+  ["equalparallel", "parallel.eq"],
   ["equiv", "eq.triple"],
   ["Equiv", "eq.quad"],
-  ["greater", "gt"],
-  ["ogreaterthan", "gt.circle"],
-  ["gtrdot", "gt.dot"],
-  ["gtrapprox", "gt.approx"],
-  ["gg", "gt.double"],
+  ["equivVert", "parallel.equiv"],
+  ["eqvparsl", "parallel.slanted.equiv"],
+  ["errbarblackcircle", "errorbar.circle.filled"],
+  ["errbarblackdiamond", "errorbar.diamond.filled"],
+  ["errbarblacksquare", "errorbar.square.filled"],
+  ["errbarcircle", "errorbar.circle.stroked"],
+  ["errbardiamond", "errorbar.diamond.stroked"],
+  ["errbarsquare", "errorbar.square.stroked"],
+  ["euro", "euro"],
+  ["Exclam", "excl.double"],
+  ["exists", "exists"],
+  ["fallingdotseq", "eq.dots.down"],
+  ["fint", "integral.slash"],
+  ["flat", "flat"],
+  ["forall", "forall"],
+  ["fourvdots", "fence.dotted"],
+  ["fullouterjoin", "join.l.r"],
   ["geq", "gt.eq"],
-  ["geqslant", "gt.eq.slant"],
-  ["gtreqless", "gt.eq.lt"],
-  ["ngeq", "gt.eq.not"],
   ["geqq", "gt.equiv"],
-  ["gtrless", "gt.lt"],
-  ["ngtrless", "gt.lt.not"],
-  ["gneq", "gt.neq"],
+  ["geqslant", "gt.eq.slant"],
+  ["gg", "gt.double"],
+  ["ggg", "gt.triple"],
+  ["gggnest", "gt.triple.nested"],
   ["gnapprox", "gt.napprox"],
+  ["gneq", "gt.neq"],
   ["gneqq", "gt.nequiv"],
-  ["ngtr", "gt.not"],
   ["gnsim", "gt.ntilde"],
+  ["greater", "gt"],
+  ["gtlpar", "angle.spheric.rev"],
+  ["gtrapprox", "gt.approx"],
+  ["gtrdot", "gt.dot"],
+  ["gtreqless", "gt.eq.lt"],
+  ["gtrless", "gt.lt"],
   ["gtrsim", "gt.tilde"],
-  ["ngtrsim", "gt.tilde.not"],
-  ["vartriangleright", "gt.tri"],
-  ["trianglerighteq", "gt.tri.eq"],
-  ["ntrianglerighteq", "gt.tri.eq.not"],
-  ["nvartriangleright", "gt.tri.not"],
-  ["ggg", "gt.triple"],
-  ["gggnest", "gt.triple.nested"],
-  ["less", "lt"],
-  ["olessthan", "lt.circle"],
-  ["lessdot", "lt.dot"],
-  ["lessapprox", "lt.approx"],
-  ["ll", "lt.double"],
+  ["heartsuit", "suit.heart.stroked"],
+  ["hknearrow", "arrow.tr.hook"],
+  ["hknwarrow", "arrow.tl.hook"],
+  ["hksearrow", "arrow.br.hook"],
+  ["hkswarrow", "arrow.bl.hook"],
+  ["hookleftarrow", "arrow.l.hook"],
+  ["hookrightarrow", "arrow.r.hook"],
+  ["horizbar", "bar.h"],
+  ["hourglass", "hourglass.stroked"],
+  ["hrectangle", "rect.stroked.h"],
+  ["hrectangleblack", "rect.filled.h"],
+  ["hslash", "planck.reduce"],
+  ["hzigzag", "dash.wave.double"],
+  ["iiiint", "integral.quad"],
+  ["iiint", "integral.triple"],
+  ["iinfin", "infinity.incomplete"],
+  ["iint", "integral.double"],
+  ["Im", "Im"],
+  ["imageof", "image"],
+  ["in", "in"],
+  ["increment", "laplace"],
+  ["infty", "infinity"],
+  ["int", "integral"],
+  ["intbar", "integral.dash"],
+  ["intBar", "integral.dash.double"],
+  ["intcap", "integral.inter"],
+  ["intclockwise", "integral.cw"],
+  ["intcup", "integral.union"],
+  ["interleave", "interleave"],
+  ["intlarhk", "integral.arrow.hook"],
+  ["intx", "integral.times"],
+  ["Join", "join"],
+  ["langle", "angle.l"],
+  ["lAngle", "angle.l.double"],
+  ["langledot", "angle.l.dot"],
+  ["lat", "lat"],
+  ["late", "lat.eq"],
+  ["lbrace", "brace.l"],
+  ["lBrace", "brace.l.double"],
+  ["lbrack", "bracket.l"],
+  ["lBrack", "bracket.l.double"],
+  ["lbrbrak", "shell.l"],
+  ["Lbrbrak", "shell.l.double"],
+  ["lceil", "ceil.l"],
+  ["lcurvyangle", "angle.l.curly"],
+  ["leftarrow", "arrow.l"],
+  ["Leftarrow", "arrow.l.double"],
+  ["leftarrowtail", "arrow.l.tail"],
+  ["leftdasharrow", "arrow.l.dashed"],
+  ["leftdotarrow", "arrow.l.dotted"],
+  ["leftdowncurvedarrow", "arrow.l.curve"],
+  ["leftharpoondown", "harpoon.lb"],
+  ["leftharpoondownbar", "harpoon.lb.bar"],
+  ["leftharpoonsupdown", "harpoons.ltlb"],
+  ["leftharpoonup", "harpoon.lt"],
+  ["leftharpoonupbar", "harpoon.lt.bar"],
+  ["leftleftarrows", "arrows.ll"],
+  ["leftouterjoin", "join.l"],
+  ["leftrightarrow", "arrow.l.r"],
+  ["Leftrightarrow", "arrow.l.r.double"],
+  ["leftrightarrows", "arrows.lr"],
+  ["leftrightharpoondowndown", "harpoon.lb.rb"],
+  ["leftrightharpoondownup", "harpoon.lb.rt"],
+  ["leftrightharpoons", "harpoons.ltrb"],
+  ["leftrightharpoonsdown", "harpoons.lbrb"],
+  ["leftrightharpoonsup", "harpoons.ltrt"],
+  ["leftrightharpoonupdown", "harpoon.lt.rb"],
+  ["leftrightharpoonupup", "harpoon.lt.rt"],
+  ["leftrightsquigarrow", "arrow.l.r.wave"],
+  ["leftsquigarrow", "arrow.l.squiggly"],
+  ["leftthreearrows", "arrows.lll"],
+  ["leftthreetimes", "times.three.l"],
+  ["leftwavearrow", "arrow.l.wave"],
+  ["leftwhitearrow", "arrow.l.stroked"],
   ["leq", "lt.eq"],
+  ["leqq", "lt.equiv"],
   ["leqslant", "lt.eq.slant"],
+  ["less", "lt"],
+  ["lessapprox", "lt.approx"],
+  ["lessdot", "lt.dot"],
   ["lesseqgtr", "lt.eq.gt"],
-  ["nleq", "lt.eq.not"],
-  ["leqq", "lt.equiv"],
   ["lessgtr", "lt.gt"],
-  ["nlessgtr", "lt.gt.not"],
-  ["lneq", "lt.neq"],
-  ["lnapprox", "lt.napprox"],
-  ["lneqq", "lt.nequiv"],
-  ["nless", "lt.not"],
-  ["lnsim", "lt.ntilde"],
   ["lesssim", "lt.tilde"],
-  ["nlesssim", "lt.tilde.not"],
-  ["vartriangleleft", "lt.tri"],
-  ["trianglelefteq", "lt.tri.eq"],
-  ["ntrianglelefteq", "lt.tri.eq.not"],
-  ["nvartriangleleft", "lt.tri.not"],
+  ["lfloor", "floor.l"],
+  ["lgblkcircle", "circle.filled.big"],
+  ["lgblksquare", "square.filled.big"],
+  ["lgwhtcircle", "circle.stroked.big"],
+  ["lgwhtsquare", "square.stroked.big"],
+  ["ll", "lt.double"],
+  ["llblacktriangle", "triangle.filled.bl"],
+  ["LLeftarrow", "arrow.l.quad"],
+  ["Lleftarrow", "arrow.l.triple"],
   ["lll", "lt.triple"],
   ["lllnest", "lt.triple.nested"],
-  ["approx", "approx"],
-  ["approxeq", "approx.eq"],
-  ["napprox", "approx.not"],
-  ["prec", "prec"],
-  ["precapprox", "prec.approx"],
-  ["preccurlyeq", "prec.curly.eq"],
-  ["npreccurlyeq", "prec.curly.eq.not"],
-  ["Prec", "prec.double"],
-  ["preceq", "prec.eq"],
-  ["preceqq", "prec.equiv"],
-  ["precnapprox", "prec.napprox"],
-  ["precneq", "prec.neq"],
-  ["precneqq", "prec.nequiv"],
-  ["nprec", "prec.not"],
-  ["precnsim", "prec.ntilde"],
-  ["precsim", "prec.tilde"],
-  ["succ", "succ"],
-  ["succapprox", "succ.approx"],
-  ["succcurlyeq", "succ.curly.eq"],
-  ["nsucccurlyeq", "succ.curly.eq.not"],
-  ["Succ", "succ.double"],
-  ["succeq", "succ.eq"],
-  ["succeqq", "succ.equiv"],
-  ["succnapprox", "succ.napprox"],
-  ["succneq", "succ.neq"],
-  ["succneqq", "succ.nequiv"],
-  ["nsucc", "succ.not"],
-  ["succnsim", "succ.ntilde"],
-  ["succsim", "succ.tilde"],
-  ["nequiv", "equiv.not"],
-  ["propto", "prop"],
-  ["origof", "original"],
-  ["imageof", "image"],
-  ["varnothing", "emptyset"],
-  ["emptysetoarr", "emptyset.arrow.r"],
-  ["emptysetoarrl", "emptyset.arrow.l"],
-  ["emptysetobar", "emptyset.bar"],
-  ["emptysetocirc", "emptyset.circle"],
-  ["revemptyset", "emptyset.rev"],
-  ["setminus", "without"],
-  ["complement", "complement"],
-  ["in", "in"],
-  ["notin", "in.not"],
+  ["lltriangle", "triangle.stroked.bl"],
+  ["lnapprox", "lt.napprox"],
+  ["lneq", "lt.neq"],
+  ["lneqq", "lt.nequiv"],
+  ["lnsim", "lt.ntilde"],
+  ["longdashv", "tack.l.long"],
+  ["Longleftarrow", "arrow.l.double.long"],
+  ["longleftarrow", "arrow.l.long"],
+  ["Longleftrightarrow", "arrow.l.r.double.long"],
+  ["longleftrightarrow", "arrow.l.r.long"],
+  ["longleftsquigarrow", "arrow.l.long.squiggly"],
+  ["Longmapsfrom", "arrow.l.double.long.bar"],
+  ["longmapsfrom", "arrow.l.long.bar"],
+  ["longmapsto", "arrow.r.long.bar"],
+  ["Longmapsto", "arrow.r.double.long.bar"],
+  ["Longrightarrow", "arrow.r.double.long"],
+  ["longrightarrow", "arrow.r.long"],
+  ["longrightsquigarrow", "arrow.r.long.squiggly"],
+  ["looparrowleft", "arrow.l.loop"],
+  ["looparrowright", "arrow.r.loop"],
+  ["lparen", "paren.l"],
+  ["lParen", "paren.l.double"],
+  ["lrblacktriangle", "triangle.filled.br"],
+  ["lrtriangle", "triangle.stroked.br"],
+  ["ltimes", "times.l"],
+  ["lvzigzag", "fence.l"],
+  ["Lvzigzag", "fence.l.double"],
+  ["maltese", "maltese"],
+  ["mapsdown", "arrow.b.bar"],
+  ["mapsfrom", "arrow.l.bar"],
+  ["Mapsfrom", "arrow.l.double.bar"],
+  ["mapsto", "arrow.r.bar"],
+  ["Mapsto", "arrow.r.double.bar"],
+  ["mapsup", "arrow.t.bar"],
+  ["mathampersand", "amp"],
+  ["mathatsign", "at"],
+  ["mathcolon", "colon"],
+  ["mathcomma", "comma"],
+  ["mathdollar", "dollar"],
+  ["mathexclam", "excl"],
+  // ['mathhyphen', 'hyph'], // \mathhyphen is not defined in standard amsmath package
+  ["mathoctothorpe", "hash"],
+  ["mathparagraph", "pilcrow"],
+  ["mathpercent", "percent"],
+  ["mathperiod", "dot.basic"],
+  ["mathplus", "plus"],
+  ["mathquestion", "quest"],
+  ["mathratio", "ratio"],
+  ["mathsection", "section"],
+  ["mathsemicolon", "semi"],
+  ["mathslash", "slash"],
+  ["mathsterling", "pound"],
+  ["mathyen", "yen"],
+  ["mdblkdiamond", "diamond.filled.medium"],
+  ["mdblklozenge", "lozenge.filled.medium"],
+  ["mdblksquare", "square.filled.medium"],
+  ["mdlgblkcircle", "circle.filled"],
+  ["mdlgblkdiamond", "diamond.filled"],
+  ["mdlgblklozenge", "lozenge.filled"],
+  ["mdlgblksquare", "square.filled"],
+  ["mdlgwhtcircle", "circle.stroked"],
+  ["mdlgwhtdiamond", "diamond.stroked"],
+  ["mdlgwhtlozenge", "lozenge.stroked"],
+  ["mdlgwhtsquare", "square.stroked"],
+  ["mdsmblkcircle", "circle.filled.tiny"],
+  ["mdsmblksquare", "square.filled.small"],
+  ["mdsmwhtcircle", "circle.stroked.small"],
+  ["mdsmwhtsquare", "square.stroked.small"],
+  ["mdwhtdiamond", "diamond.stroked.medium"],
+  ["mdwhtlozenge", "lozenge.stroked.medium"],
+  ["mdwhtsquare", "square.stroked.medium"],
+  ["measeq", "eq.m"],
+  ["measuredangle", "angle.arc"],
+  ["measuredangleleft", "angle.arc.rev"],
+  ["measuredrightangle", "angle.right.arc"],
+  ["mho", "Omega.inv"],
+  ["mid", "divides"],
+  ["minus", "minus"],
+  ["models", "models"],
+  ["mp", "minus.plus"],
+  ["multimap", "multimap"],
+  /* ['mupAlpha', 'Alpha'],
+  ['mupalpha', 'alpha'],
+  ['mupBeta', 'Beta'],
+  ['mupbeta', 'beta'],
+  ['mupChi', 'Chi'],
+  ['mupchi', 'chi'],
+  ['mupDelta', 'Delta'],
+  ['mupdelta', 'delta'],
+  ['mupEpsilon', 'Epsilon'],
+  ['mupepsilon', 'epsilon.alt'],
+  ['mupEta', 'Eta'],
+  ['mupeta', 'eta'],
+  ['mupGamma', 'Gamma'],
+  ['mupgamma', 'gamma'],
+  ['mupIota', 'Iota'],
+  ['mupiota', 'iota'],
+  ['mupKappa', 'Kappa'],
+  ['mupkappa', 'kappa'],
+  ['mupLambda', 'Lambda'],
+  ['muplambda', 'lambda'],
+  ['mupMu', 'Mu'],
+  ['mupmu', 'mu'],
+  ['mupNu', 'Nu'],
+  ['mupnu', 'nu'],
+  ['mupOmega', 'Omega'],
+  ['mupomega', 'omega'],
+  ['mupOmicron', 'Omicron'],
+  ['mupomicron', 'omicron'],
+  ['mupPhi', 'Phi'],
+  ['mupphi', 'phi.alt'],
+  ['mupPi', 'Pi'],
+  ['muppi', 'pi'],
+  ['mupPsi', 'Psi'],
+  ['muppsi', 'psi'],
+  ['mupRho', 'Rho'],
+  ['muprho', 'rho'],
+  ['mupSigma', 'Sigma'],
+  ['mupsigma', 'sigma'],
+  ['mupTau', 'Tau'],
+  ['muptau', 'tau'],
+  ['mupTheta', 'Theta'],
+  ['muptheta', 'theta'],
+  ['mupUpsilon', 'Upsilon'],
+  ['mupupsilon', 'upsilon'],
+  ['mupvarepsilon', 'epsilon'],
+  ['mupvarkappa', 'kappa.alt'],
+  ['mupvarphi', 'phi'],
+  ['mupvarpi', 'pi.alt'],
+  ['mupvarrho', 'rho.alt'],
+  ['mupvarsigma', 'sigma.alt'],
+  ['mupvartheta', 'theta.alt'],
+  ['mupXi', 'Xi'],
+  ['mupxi', 'xi'],
+  ['mupZeta', 'Zeta'],
+  ['mupzeta', 'zeta'], */
+  ["nabla", "gradient"],
+  ["napprox", "approx.not"],
+  ["nasymp", "asymp.not"],
+  ["natural", "natural"],
+  ["ncong", "tilde.equiv.not"],
+  ["ne", "eq.not"],
+  ["nearrow", "arrow.tr"],
+  ["Nearrow", "arrow.tr.double"],
+  ["neg", "not"],
+  ["nequiv", "equiv.not"],
+  // or eq.triple.not
+  ["neswarrow", "arrow.tr.bl"],
+  ["nexists", "exists.not"],
+  ["ngeq", "gt.eq.not"],
+  ["ngtr", "gt.not"],
+  ["ngtrless", "gt.lt.not"],
+  ["ngtrsim", "gt.tilde.not"],
+  ["nhpar", "parallel.struck"],
+  ["nhVvert", "interleave.struck"],
   ["ni", "in.rev"],
+  ["nLeftarrow", "arrow.l.double.not"],
+  ["nleftarrow", "arrow.l.not"],
+  ["nLeftrightarrow", "arrow.l.r.double.not"],
+  ["nleftrightarrow", "arrow.l.r.not"],
+  ["nleq", "lt.eq.not"],
+  ["nless", "lt.not"],
+  ["nlessgtr", "lt.gt.not"],
+  ["nlesssim", "lt.tilde.not"],
+  ["nmid", "divides.not"],
   ["nni", "in.rev.not"],
-  ["smallni", "in.rev.small"],
-  ["smallin", "in.small"],
-  ["subset", "subset"],
-  ["subsetdot", "subset.dot"],
-  ["Subset", "subset.double"],
-  ["subseteq", "subset.eq"],
-  ["nsubseteq", "subset.eq.not"],
-  ["sqsubseteq", "subset.eq.sq"],
+  ["notin", "in.not"],
+  ["nparallel", "parallel.not"],
+  ["nprec", "prec.not"],
+  ["npreccurlyeq", "prec.curly.eq.not"],
+  ["nRightarrow", "arrow.r.double.not"],
+  ["nrightarrow", "arrow.r.not"],
+  ["nsim", "tilde.not"],
+  ["nsimeq", "tilde.eq.not"],
   ["nsqsubseteq", "subset.eq.sq.not"],
-  ["subsetneq", "subset.neq"],
-  ["nsubset", "subset.not"],
-  ["sqsubset", "subset.sq"],
-  ["sqsubsetneq", "subset.sq.neq"],
-  ["supset", "supset"],
-  ["supsetdot", "supset.dot"],
-  ["Supset", "supset.double"],
-  ["supseteq", "supset.eq"],
-  ["nsupseteq", "supset.eq.not"],
-  ["sqsupseteq", "supset.eq.sq"],
   ["nsqsupseteq", "supset.eq.sq.not"],
-  ["supsetneq", "supset.neq"],
+  ["nsubset", "subset.not"],
+  ["nsubseteq", "subset.eq.not"],
+  ["nsucc", "succ.not"],
+  ["nsucccurlyeq", "succ.curly.eq.not"],
   ["nsupset", "supset.not"],
-  ["sqsupset", "supset.sq"],
-  ["sqsupsetneq", "supset.sq.neq"],
-  ["cup", "union"],
-  ["cupleftarrow", "union.arrow"],
-  ["bigcup", "union.big"],
-  ["cupdot", "union.dot"],
-  ["bigcupdot", "union.dot.big"],
-  ["Cup", "union.double"],
-  ["uminus", "union.minus"],
-  ["cupvee", "union.or"],
-  ["uplus", "union.plus"],
-  ["biguplus", "union.plus.big"],
-  ["sqcup", "union.sq"],
-  ["bigsqcup", "union.sq.big"],
-  ["Sqcup", "union.sq.double"],
-  ["cap", "sect"],
-  ["capwedge", "sect.and"],
-  ["bigcap", "sect.big"],
-  ["capdot", "sect.dot"],
-  ["Cap", "sect.double"],
-  ["sqcap", "sect.sq"],
-  ["bigsqcap", "sect.sq.big"],
-  ["Sqcap", "sect.sq.double"],
-  ["infty", "infinity"],
+  ["nsupseteq", "supset.eq.not"],
+  ["ntrianglelefteq", "lt.tri.eq.not"],
+  ["ntrianglerighteq", "gt.tri.eq.not"],
+  ["nvartriangleleft", "lt.tri.not"],
+  ["nvartriangleright", "gt.tri.not"],
+  ["nVdash", "forces.not"],
+  ["nvdash", "tack.r.not"],
+  ["nvDash", "tack.r.double.not"],
   ["nvinfty", "infinity.bar"],
-  ["iinfin", "infinity.incomplete"],
-  ["tieinfty", "infinity.tie"],
-  ["partial", "diff"],
-  ["nabla", "gradient"],
-  ["sum", "sum"],
-  ["sumint", "sum.integral"],
-  ["prod", "product"],
-  ["coprod", "product.co"],
-  ["int", "integral"],
-  ["intlarhk", "integral.arrow.hook"],
-  ["awint", "integral.ccw"],
+  ["nwarrow", "arrow.tl"],
+  ["Nwarrow", "arrow.tl.double"],
+  ["nwsearrow", "arrow.tl.br"],
+  ["obrbrak", "shell.t"],
+  ["obslash", "backslash.circle"],
+  ["odiv", "div.circle"],
+  ["odot", "dot.circle"],
+  ["ogreaterthan", "gt.circle"],
+  ["oiiint", "integral.vol"],
+  ["oiint", "integral.surf"],
   ["oint", "integral.cont"],
   ["ointctrclockwise", "integral.cont.ccw"],
-  ["varointclockwise", "integral.cont.cw"],
-  ["intclockwise", "integral.cw"],
-  ["intbar", "integral.dash"],
-  ["intBar", "integral.dash.double"],
-  ["iint", "integral.double"],
-  ["iiiint", "integral.quad"],
-  ["intcap", "integral.sect"],
-  ["fint", "integral.slash"],
-  ["sqint", "integral.square"],
-  ["oiint", "integral.surf"],
-  ["intx", "integral.times"],
-  ["iiint", "integral.triple"],
-  ["intcup", "integral.union"],
-  ["oiiint", "integral.vol"],
-  ["increment", "laplace"],
-  ["forall", "forall"],
-  ["exists", "exists"],
-  ["nexists", "exists.not"],
-  ["top", "top"],
-  ["bot", "bot"],
-  ["neg", "not"],
-  ["wedge", "and"],
-  ["bigwedge", "and.big"],
-  ["curlywedge", "and.curly"],
-  ["wedgedot", "and.dot"],
-  ["Wedge", "and.double"],
-  ["vee", "or"],
-  ["bigvee", "or.big"],
-  ["curlyvee", "or.curly"],
-  ["veedot", "or.dot"],
-  ["Vee", "or.double"],
-  ["models", "models"],
-  ["Vdash", "forces"],
-  ["nVdash", "forces.not"],
-  ["therefore", "therefore"],
-  ["because", "because"],
-  ["QED", "qed"],
-  ["vysmwhtcircle", "compose"],
-  ["multimap", "multimap"],
-  ["dualmap", "multimap.double"],
-  ["tplus", "tiny"],
-  ["tminus", "miny"],
-  ["mid", "divides"],
-  ["nmid", "divides.not"],
-  ["wr", "wreath"],
-  ["parallel", "parallel"],
-  ["nhpar", "parallel.struck"],
-  ["circledparallel", "parallel.circle"],
-  ["equalparallel", "parallel.eq"],
-  ["equivVert", "parallel.equiv"],
-  ["nparallel", "parallel.not"],
-  ["eparsl", "parallel.slanted.eq"],
-  ["smeparsl", "parallel.slanted.eq.tilde"],
-  ["eqvparsl", "parallel.slanted.equiv"],
-  ["parsim", "parallel.tilde"],
-  ["perp", "perp"],
+  ["olessthan", "lt.circle"],
+  ["ominus", "minus.circle"],
   ["operp", "perp.circle"],
-  ["diameter", "diameter"],
-  ["Join", "join"],
-  ["rightouterjoin", "join.r"],
-  ["leftouterjoin", "join.l"],
-  ["fullouterjoin", "join.l.r"],
-  ["smashtimes", "smash"],
-  ["mathdollar", "dollar"],
-  ["euro", "euro"],
-  ["mathsterling", "pound"],
-  ["mathyen", "yen"],
-  ["checkmark", "checkmark"],
-  ["maltese", "maltese"],
-  ["clubsuit", "suit.club.filled"],
-  ["varclubsuit", "suit.club.stroked"],
-  ["vardiamondsuit", "suit.diamond.filled"],
-  ["diamondsuit", "suit.diamond.stroked"],
-  ["varheartsuit", "suit.heart.filled"],
-  ["heartsuit", "suit.heart.stroked"],
-  ["spadesuit", "suit.spade.filled"],
-  ["varspadesuit", "suit.spade.stroked"],
-  ["quarternote", "note.quarter.alt"],
-  ["eighthnote", "note.eighth.alt"],
-  ["twonotes", "note.eighth.beamed"],
-  ["natural", "natural"],
-  ["flat", "flat"],
-  ["sharp", "sharp"],
-  ["smblkcircle", "bullet"],
-  ["mdlgwhtcircle", "circle.stroked"],
-  ["mdsmwhtcircle", "circle.stroked.small"],
-  ["lgwhtcircle", "circle.stroked.big"],
-  ["mdlgblkcircle", "circle.filled"],
-  ["mdsmblkcircle", "circle.filled.tiny"],
-  ["vysmblkcircle", "circle.filled.small"],
-  ["lgblkcircle", "circle.filled.big"],
-  ["dottedcircle", "circle.dotted"],
-  ["circledcirc", "circle.nested"],
-  ["whthorzoval", "ellipse.stroked.h"],
-  ["whtvertoval", "ellipse.stroked.v"],
-  ["blkhorzoval", "ellipse.filled.h"],
-  ["blkvertoval", "ellipse.filled.v"],
-  ["bigtriangleup", "triangle.stroked.t"],
-  ["bigtriangledown", "triangle.stroked.b"],
-  ["triangleright", "triangle.stroked.r"],
-  ["triangleleft", "triangle.stroked.l"],
-  ["lltriangle", "triangle.stroked.bl"],
-  ["lrtriangle", "triangle.stroked.br"],
-  ["ultriangle", "triangle.stroked.tl"],
-  ["urtriangle", "triangle.stroked.tr"],
-  ["vartriangle", "triangle.stroked.small.t"],
-  ["triangledown", "triangle.stroked.small.b"],
-  ["smalltriangleright", "triangle.stroked.small.r"],
-  ["smalltriangleleft", "triangle.stroked.small.l"],
-  ["whiteinwhitetriangle", "triangle.stroked.nested"],
-  ["trianglecdot", "triangle.stroked.dot"],
-  ["bigblacktriangleup", "triangle.filled.t"],
-  ["bigblacktriangledown", "triangle.filled.b"],
-  ["blacktriangleright", "triangle.filled.r"],
-  ["blacktriangleleft", "triangle.filled.l"],
-  ["llblacktriangle", "triangle.filled.bl"],
-  ["lrblacktriangle", "triangle.filled.br"],
-  ["ulblacktriangle", "triangle.filled.tl"],
-  ["urblacktriangle", "triangle.filled.tr"],
-  ["blacktriangle", "triangle.filled.small.t"],
-  ["blacktriangledown", "triangle.filled.small.b"],
-  ["smallblacktriangleright", "triangle.filled.small.r"],
-  ["smallblacktriangleleft", "triangle.filled.small.l"],
-  ["mdlgwhtsquare", "square.stroked"],
-  ["smwhtsquare", "square.stroked.tiny"],
-  ["mdsmwhtsquare", "square.stroked.small"],
-  ["mdwhtsquare", "square.stroked.medium"],
-  ["lgwhtsquare", "square.stroked.big"],
-  ["dottedsquare", "square.stroked.dotted"],
-  ["squoval", "square.stroked.rounded"],
-  ["mdlgblksquare", "square.filled"],
-  ["smblksquare", "square.filled.tiny"],
-  ["mdsmblksquare", "square.filled.small"],
-  ["mdblksquare", "square.filled.medium"],
-  ["lgblksquare", "square.filled.big"],
-  ["hrectangle", "rect.stroked.h"],
-  ["vrectangle", "rect.stroked.v"],
-  ["hrectangleblack", "rect.filled.h"],
-  ["vrectangleblack", "rect.filled.v"],
-  ["pentagon", "penta.stroked"],
-  ["pentagonblack", "penta.filled"],
-  ["varhexagon", "hexa.stroked"],
-  ["varhexagonblack", "hexa.filled"],
-  ["mdlgwhtdiamond", "diamond.stroked"],
-  ["smwhtdiamond", "diamond.stroked.small"],
-  ["mdwhtdiamond", "diamond.stroked.medium"],
-  ["diamondcdot", "diamond.stroked.dot"],
-  ["mdlgblkdiamond", "diamond.filled"],
-  ["mdblkdiamond", "diamond.filled.medium"],
-  ["smblkdiamond", "diamond.filled.small"],
-  ["mdlgwhtlozenge", "lozenge.stroked"],
-  ["smwhtlozenge", "lozenge.stroked.small"],
-  ["mdwhtlozenge", "lozenge.stroked.medium"],
-  ["mdlgblklozenge", "lozenge.filled"],
-  ["smblklozenge", "lozenge.filled.small"],
-  ["mdblklozenge", "lozenge.filled.medium"],
+  ["oplus", "plus.circle"],
+  ["origof", "original"],
+  ["otimes", "times.circle"],
+  // ['overbrace', 'brace.t'],
+  ["overbracket", "bracket.t"],
+  ["overparen", "paren.t"],
+  ["parallel", "parallel"],
   ["parallelogram", "parallelogram.stroked"],
   ["parallelogramblack", "parallelogram.filled"],
-  ["star", "star.op"],
-  ["bigwhitestar", "star.stroked"],
-  ["bigstar", "star.filled"],
+  ["parsim", "parallel.tilde"],
+  ["partial", "diff"],
+  ["pentagon", "penta.stroked"],
+  ["pentagonblack", "penta.filled"],
+  ["perp", "perp"],
+  ["Planckconst", "planck"],
+  ["pm", "plus.minus"],
+  ["prec", "prec"],
+  ["Prec", "prec.double"],
+  ["precapprox", "prec.approx"],
+  ["preccurlyeq", "prec.curly.eq"],
+  ["preceq", "prec.eq"],
+  ["preceqq", "prec.equiv"],
+  ["precnapprox", "prec.napprox"],
+  ["precneq", "prec.neq"],
+  ["precneqq", "prec.nequiv"],
+  ["precnsim", "prec.ntilde"],
+  ["precsim", "prec.tilde"],
+  ["prime", "prime"],
+  ["prod", "product"],
+  ["propto", "prop"],
+  ["QED", "qed"],
+  ["qprime", "prime.quad"],
+  ["quarternote", "note.quarter.alt"],
+  ["questeq", "eq.quest"],
+  ["Question", "quest.double"],
+  ["rangle", "angle.r"],
+  ["rAngle", "angle.r.double"],
+  ["rangledot", "angle.r.dot"],
+  ["rbrace", "brace.r"],
+  ["rBrace", "brace.r.double"],
+  ["rbrack", "bracket.r"],
+  ["rBrack", "bracket.r.double"],
+  ["rbrbrak", "shell.r"],
+  ["Rbrbrak", "shell.r.double"],
+  ["rceil", "ceil.r"],
+  ["rcurvyangle", "angle.r.curly"],
+  ["Re", "Re"],
+  ["revangle", "angle.rev"],
+  ["revemptyset", "emptyset.rev"],
+  ["revnmid", "divides.not.rev"],
+  ["rfloor", "floor.r"],
+  ["rightangle", "angle.right"],
+  ["rightanglemdot", "angle.right.dot"],
+  ["rightanglesqr", "angle.right.sq"],
   ["rightarrow", "arrow.r"],
-  ["longmapsto", "arrow.r.long.bar"],
-  ["mapsto", "arrow.r.bar"],
-  ["rightdowncurvedarrow", "arrow.r.curve"],
+  ["Rightarrow", "arrow.r.double"],
+  ["rightarrowbar", "arrow.r.stop"],
+  ["rightarrowonoplus", "plus.circle.arrow"],
+  ["rightarrowtail", "arrow.r.tail"],
   ["rightdasharrow", "arrow.r.dashed"],
   ["rightdotarrow", "arrow.r.dotted"],
-  ["Rightarrow", "arrow.r.double"],
-  ["Mapsto", "arrow.r.double.bar"],
-  ["Longrightarrow", "arrow.r.double.long"],
-  ["Longmapsto", "arrow.r.double.long.bar"],
-  ["nRightarrow", "arrow.r.double.not"],
-  ["hookrightarrow", "arrow.r.hook"],
-  ["longrightarrow", "arrow.r.long"],
-  ["longrightsquigarrow", "arrow.r.long.squiggly"],
-  ["looparrowright", "arrow.r.loop"],
-  ["nrightarrow", "arrow.r.not"],
-  ["RRightarrow", "arrow.r.quad"],
+  ["rightdowncurvedarrow", "arrow.r.curve"],
+  ["rightharpoondown", "harpoon.rb"],
+  ["rightharpoondownbar", "harpoon.rb.stop"],
+  ["rightharpoonsupdown", "harpoons.rtrb"],
+  ["rightharpoonup", "harpoon.rt"],
+  ["rightharpoonupbar", "harpoon.rt.stop"],
+  ["rightleftarrows", "arrows.rl"],
+  ["rightleftharpoons", "harpoons.rtlb"],
+  ["rightleftharpoonsdown", "harpoons.rblb"],
+  ["rightleftharpoonsup", "harpoons.rtlt"],
+  ["rightouterjoin", "join.r"],
+  ["rightrightarrows", "arrows.rr"],
   ["rightsquigarrow", "arrow.r.squiggly"],
-  ["rightarrowbar", "arrow.r.stop"],
+  ["rightthreearrows", "arrows.rrr"],
+  ["rightthreetimes", "times.three.r"],
+  ["rightwavearrow", "arrow.r.wave"],
   ["rightwhitearrow", "arrow.r.stroked"],
-  ["rightarrowtail", "arrow.r.tail"],
-  ["similarrightarrow", "arrow.r.tilde"],
+  ["risingdotseq", "eq.dots.up"],
+  ["rparen", "paren.r"],
+  ["rParen", "paren.r.double"],
+  ["RRightarrow", "arrow.r.quad"],
   ["Rrightarrow", "arrow.r.triple"],
-  ["twoheadmapsto", "arrow.r.twohead.bar"],
-  ["twoheadrightarrow", "arrow.r.twohead"],
-  ["rightwavearrow", "arrow.r.wave"],
-  ["leftarrow", "arrow.l"],
-  ["mapsfrom", "arrow.l.bar"],
-  ["leftdowncurvedarrow", "arrow.l.curve"],
-  ["leftdasharrow", "arrow.l.dashed"],
-  ["leftdotarrow", "arrow.l.dotted"],
-  ["Leftarrow", "arrow.l.double"],
-  ["Mapsfrom", "arrow.l.double.bar"],
-  ["Longleftarrow", "arrow.l.double.long"],
-  ["Longmapsfrom", "arrow.l.double.long.bar"],
-  ["nLeftarrow", "arrow.l.double.not"],
-  ["hookleftarrow", "arrow.l.hook"],
-  ["longleftarrow", "arrow.l.long"],
-  ["longmapsfrom", "arrow.l.long.bar"],
-  ["longleftsquigarrow", "arrow.l.long.squiggly"],
-  ["looparrowleft", "arrow.l.loop"],
-  ["nleftarrow", "arrow.l.not"],
-  ["LLeftarrow", "arrow.l.quad"],
-  ["leftsquigarrow", "arrow.l.squiggly"],
-  ["barleftarrow", "arrow.l.stop"],
-  ["leftwhitearrow", "arrow.l.stroked"],
-  ["leftarrowtail", "arrow.l.tail"],
-  ["similarleftarrow", "arrow.l.tilde"],
-  ["Lleftarrow", "arrow.l.triple"],
-  ["twoheadmapsfrom", "arrow.l.twohead.bar"],
-  ["twoheadleftarrow", "arrow.l.twohead"],
-  ["leftwavearrow", "arrow.l.wave"],
-  ["uparrow", "arrow.t"],
-  ["mapsup", "arrow.t.bar"],
-  ["uprightcurvearrow", "arrow.t.curve"],
-  ["updasharrow", "arrow.t.dashed"],
-  ["Uparrow", "arrow.t.double"],
-  ["UUparrow", "arrow.t.quad"],
-  ["baruparrow", "arrow.t.stop"],
-  ["upwhitearrow", "arrow.t.stroked"],
-  ["Uuparrow", "arrow.t.triple"],
-  ["twoheaduparrow", "arrow.t.twohead"],
-  ["downarrow", "arrow.b"],
-  ["mapsdown", "arrow.b.bar"],
-  ["downrightcurvedarrow", "arrow.b.curve"],
-  ["downdasharrow", "arrow.b.dashed"],
-  ["Downarrow", "arrow.b.double"],
-  ["DDownarrow", "arrow.b.quad"],
-  ["downarrowbar", "arrow.b.stop"],
-  ["downwhitearrow", "arrow.b.stroked"],
-  ["Ddownarrow", "arrow.b.triple"],
-  ["twoheaddownarrow", "arrow.b.twohead"],
-  ["leftrightarrow", "arrow.l.r"],
-  ["Leftrightarrow", "arrow.l.r.double"],
-  ["Longleftrightarrow", "arrow.l.r.double.long"],
-  ["nLeftrightarrow", "arrow.l.r.double.not"],
-  ["longleftrightarrow", "arrow.l.r.long"],
-  ["nleftrightarrow", "arrow.l.r.not"],
-  ["leftrightsquigarrow", "arrow.l.r.wave"],
-  ["updownarrow", "arrow.t.b"],
-  ["Updownarrow", "arrow.t.b.double"],
-  ["nearrow", "arrow.tr"],
-  ["Nearrow", "arrow.tr.double"],
-  ["hknearrow", "arrow.tr.hook"],
+  ["rsolbar", "backslash.not"],
+  ["rtimes", "times.r"],
+  ["rvzigzag", "fence.r"],
+  ["Rvzigzag", "fence.r.double"],
   ["searrow", "arrow.br"],
   ["Searrow", "arrow.br.double"],
-  ["hksearrow", "arrow.br.hook"],
-  ["nwarrow", "arrow.tl"],
-  ["Nwarrow", "arrow.tl.double"],
-  ["hknwarrow", "arrow.tl.hook"],
+  ["setminus", "without"],
+  ["sharp", "sharp"],
+  ["shortdowntack", "tack.b.short"],
+  ["shortlefttack", "tack.l.short"],
+  ["shortuptack", "tack.t.short"],
+  ["sim", "tilde.op"],
+  ["sime", "tilde.eq"],
+  ["similarleftarrow", "arrow.l.tilde"],
+  ["similarrightarrow", "arrow.r.tilde"],
+  ["simneqq", "tilde.nequiv"],
+  ["smallblacktriangleleft", "triangle.filled.small.l"],
+  ["smallblacktriangleright", "triangle.filled.small.r"],
+  ["smallin", "in.small"],
+  ["smallni", "in.rev.small"],
+  ["smalltriangleleft", "triangle.stroked.small.l"],
+  ["smalltriangleright", "triangle.stroked.small.r"],
+  ["smashtimes", "smash"],
+  ["smblkcircle", "bullet"],
+  ["smblkdiamond", "diamond.filled.small"],
+  ["smblklozenge", "lozenge.filled.small"],
+  ["smblksquare", "square.filled.tiny"],
+  ["smeparsl", "parallel.slanted.eq.tilde"],
+  ["smt", "smt"],
+  ["smte", "smt.eq"],
+  ["smwhtdiamond", "diamond.stroked.small"],
+  ["smwhtlozenge", "lozenge.stroked.small"],
+  ["smwhtsquare", "square.stroked.tiny"],
+  ["spadesuit", "suit.spade.filled"],
+  ["sphericalangle", "angle.spheric"],
+  ["sphericalangleup", "angle.spheric.top"],
+  ["sqcap", "inter.sq"],
+  ["Sqcap", "inter.sq.double"],
+  ["sqcup", "union.sq"],
+  ["Sqcup", "union.sq.double"],
+  ["sqint", "integral.square"],
+  ["sqsubset", "subset.sq"],
+  ["sqsubseteq", "subset.eq.sq"],
+  ["sqsubsetneq", "subset.sq.neq"],
+  ["sqsupset", "supset.sq"],
+  ["sqsupseteq", "supset.eq.sq"],
+  ["sqsupsetneq", "supset.sq.neq"],
+  ["squoval", "square.stroked.rounded"],
+  ["sslash", "slash.double"],
+  ["star", "star.op"],
+  ["stareq", "eq.star"],
+  ["subset", "subset"],
+  ["Subset", "subset.double"],
+  ["subsetdot", "subset.dot"],
+  ["subseteq", "subset.eq"],
+  ["subsetneq", "subset.neq"],
+  ["succ", "succ"],
+  ["Succ", "succ.double"],
+  ["succapprox", "succ.approx"],
+  ["succcurlyeq", "succ.curly.eq"],
+  ["succeq", "succ.eq"],
+  ["succeqq", "succ.equiv"],
+  ["succnapprox", "succ.napprox"],
+  ["succneq", "succ.neq"],
+  ["succneqq", "succ.nequiv"],
+  ["succnsim", "succ.ntilde"],
+  ["succsim", "succ.tilde"],
+  ["sum", "sum"],
+  ["sumint", "sum.integral"],
+  ["supset", "supset"],
+  ["Supset", "supset.double"],
+  ["supsetdot", "supset.dot"],
+  ["supseteq", "supset.eq"],
+  ["supsetneq", "supset.neq"],
   ["swarrow", "arrow.bl"],
   ["Swarrow", "arrow.bl.double"],
-  ["hkswarrow", "arrow.bl.hook"],
-  ["nwsearrow", "arrow.tl.br"],
-  ["neswarrow", "arrow.tr.bl"],
-  ["acwopencirclearrow", "arrow.ccw"],
-  ["curvearrowleft", "arrow.ccw.half"],
-  ["cwopencirclearrow", "arrow.cw"],
-  ["curvearrowright", "arrow.cw.half"],
-  ["downzigzagarrow", "arrow.zigzag"],
-  ["rightrightarrows", "arrows.rr"],
-  ["leftleftarrows", "arrows.ll"],
-  ["upuparrows", "arrows.tt"],
-  ["downdownarrows", "arrows.bb"],
-  ["leftrightarrows", "arrows.lr"],
-  ["barleftarrowrightarrowbar", "arrows.lr.stop"],
-  ["rightleftarrows", "arrows.rl"],
+  ["therefore", "therefore"],
+  ["threedangle", "angle.spatial"],
+  ["threedotcolon", "colon.tri.op"],
+  ["tieinfty", "infinity.tie"],
+  ["times", "times"],
+  ["tminus", "miny"],
+  ["top", "tack.b"],
+  ["tplus", "tiny"],
+  ["trianglecdot", "triangle.stroked.dot"],
+  ["triangledown", "triangle.stroked.small.b"],
+  ["triangleleft", "triangle.stroked.l"],
+  ["trianglelefteq", "lt.tri.eq"],
+  ["triangleminus", "minus.triangle"],
+  ["triangleplus", "plus.triangle"],
+  ["triangleq", "eq.delta"],
+  ["triangleright", "triangle.stroked.r"],
+  ["trianglerighteq", "gt.tri.eq"],
+  ["triangletimes", "times.triangle"],
+  ["tripleplus", "plus.triple"],
+  ["trprime", "prime.triple"],
+  ["trslash", "slash.triple"],
+  ["twoheaddownarrow", "arrow.b.twohead"],
+  ["twoheadleftarrow", "arrow.l.twohead"],
+  ["twoheadmapsfrom", "arrow.l.twohead.bar"],
+  ["twoheadmapsto", "arrow.r.twohead.bar"],
+  ["twoheadrightarrow", "arrow.r.twohead"],
+  ["twoheaduparrow", "arrow.t.twohead"],
+  ["twonotes", "note.eighth.beamed"],
+  ["ubrbrak", "shell.b"],
+  ["ulblacktriangle", "triangle.filled.tl"],
+  ["ultriangle", "triangle.stroked.tl"],
+  ["uminus", "union.minus"],
+  ["underbrace", "brace.b"],
+  ["underbracket", "bracket.b"],
+  ["underparen", "paren.b"],
+  ["unicodecdots", "dots.h.c"],
+  ["unicodeellipsis", "dots.h"],
+  ["upand", "amp.inv"],
+  ["uparrow", "arrow.t"],
+  ["Uparrow", "arrow.t.double"],
+  ["updasharrow", "arrow.t.dashed"],
+  ["updownarrow", "arrow.t.b"],
+  ["Updownarrow", "arrow.t.b.double"],
   ["updownarrows", "arrows.tb"],
-  ["downuparrows", "arrows.bt"],
-  ["rightthreearrows", "arrows.rrr"],
-  ["leftthreearrows", "arrows.lll"],
-  ["rightharpoonup", "harpoon.rt"],
-  ["barrightharpoonup", "harpoon.rt.bar"],
-  ["rightharpoonupbar", "harpoon.rt.stop"],
-  ["rightharpoondown", "harpoon.rb"],
-  ["barrightharpoondown", "harpoon.rb.bar"],
-  ["rightharpoondownbar", "harpoon.rb.stop"],
-  ["leftharpoonup", "harpoon.lt"],
-  ["leftharpoonupbar", "harpoon.lt.bar"],
-  ["barleftharpoonup", "harpoon.lt.stop"],
-  ["leftharpoondown", "harpoon.lb"],
-  ["leftharpoondownbar", "harpoon.lb.bar"],
-  ["barleftharpoondown", "harpoon.lb.stop"],
-  ["upharpoonleft", "harpoon.tl"],
-  ["upharpoonleftbar", "harpoon.tl.bar"],
-  ["barupharpoonleft", "harpoon.tl.stop"],
-  ["upharpoonright", "harpoon.tr"],
-  ["upharpoonrightbar", "harpoon.tr.bar"],
-  ["barupharpoonright", "harpoon.tr.stop"],
-  ["downharpoonleft", "harpoon.bl"],
-  ["bardownharpoonleft", "harpoon.bl.bar"],
-  ["downharpoonleftbar", "harpoon.bl.stop"],
-  ["downharpoonright", "harpoon.br"],
-  ["bardownharpoonright", "harpoon.br.bar"],
-  ["downharpoonrightbar", "harpoon.br.stop"],
-  ["leftrightharpoonupup", "harpoon.lt.rt"],
-  ["leftrightharpoondowndown", "harpoon.lb.rb"],
-  ["leftrightharpoondownup", "harpoon.lb.rt"],
-  ["leftrightharpoonupdown", "harpoon.lt.rb"],
   ["updownharpoonleftleft", "harpoon.tl.bl"],
-  ["updownharpoonrightright", "harpoon.tr.br"],
   ["updownharpoonleftright", "harpoon.tl.br"],
   ["updownharpoonrightleft", "harpoon.tr.bl"],
-  ["rightharpoonsupdown", "harpoons.rtrb"],
-  ["downharpoonsleftright", "harpoons.blbr"],
-  ["downupharpoonsleftright", "harpoons.bltr"],
-  ["leftrightharpoonsdown", "harpoons.lbrb"],
-  ["leftharpoonsupdown", "harpoons.ltlb"],
-  ["leftrightharpoons", "harpoons.ltrb"],
-  ["leftrightharpoonsup", "harpoons.ltrt"],
-  ["rightleftharpoonsdown", "harpoons.rblb"],
-  ["rightleftharpoons", "harpoons.rtlb"],
-  ["rightleftharpoonsup", "harpoons.rtlt"],
+  ["updownharpoonrightright", "harpoon.tr.br"],
   ["updownharpoonsleftright", "harpoons.tlbr"],
+  ["upharpoonleft", "harpoon.tl"],
+  ["upharpoonleftbar", "harpoon.tl.bar"],
+  ["upharpoonright", "harpoon.tr"],
+  ["upharpoonrightbar", "harpoon.tr.bar"],
   ["upharpoonsleftright", "harpoons.tltr"],
+  ["uplus", "union.plus"],
+  ["uprightcurvearrow", "arrow.t.curve"],
+  ["upuparrows", "arrows.tt"],
+  ["upwhitearrow", "arrow.t.stroked"],
+  ["urblacktriangle", "triangle.filled.tr"],
+  ["urtriangle", "triangle.stroked.tr"],
+  ["UUparrow", "arrow.t.quad"],
+  ["Uuparrow", "arrow.t.triple"],
+  ["varclubsuit", "suit.club.stroked"],
+  ["vardiamondsuit", "suit.diamond.filled"],
+  ["varheartsuit", "suit.heart.filled"],
+  ["varhexagon", "hexa.stroked"],
+  ["varhexagonblack", "hexa.filled"],
+  ["varnothing", "emptyset"],
+  ["varointclockwise", "integral.cont.cw"],
+  ["varspadesuit", "suit.spade.stroked"],
+  ["vartriangle", "triangle.stroked.small.t"],
+  ["vartriangleleft", "lt.tri"],
+  ["vartriangleright", "gt.tri"],
+  ["Vbar", "tack.t.double"],
+  ["Vdash", "forces"],
   ["vdash", "tack.r"],
-  ["nvdash", "tack.r.not"],
-  ["vlongdash", "tack.r.long"],
-  ["assert", "tack.r.short"],
   ["vDash", "tack.r.double"],
-  ["nvDash", "tack.r.double.not"],
-  ["dashv", "tack.l"],
-  ["longdashv", "tack.l.long"],
-  ["shortlefttack", "tack.l.short"],
-  ["Dashv", "tack.l.double"],
-  ["bigbot", "tack.t.big"],
-  ["Vbar", "tack.t.double"],
-  ["shortuptack", "tack.t.short"],
-  ["bigtop", "tack.b.big"],
-  ["barV", "tack.b.double"],
-  ["shortdowntack", "tack.b.short"],
-  ["dashVdash", "tack.l.r"],
-  /*
-  ['mupalpha', 'alpha'],
-  ['mupbeta', 'beta'],
-  ['mupchi', 'chi'],
-  ['mupdelta', 'delta'],
-  ['mupvarepsilon', 'epsilon'],
-  ['mupepsilon', 'epsilon.alt'],
-  ['mupeta', 'eta'],
-  ['mupgamma', 'gamma'],
-  ['mupiota', 'iota'],
-  ['mupkappa', 'kappa'],
-  ['mupvarkappa', 'kappa.alt'],
-  ['muplambda', 'lambda'],
-  ['mupmu', 'mu'],
-  ['mupnu', 'nu'],
-  ['mho', 'ohm.inv'],
-  ['mupomega', 'omega'],
-  ['mupomicron', 'omicron'],
-  ['mupvarphi', 'phi'],
-  ['mupphi', 'phi.alt'],
-  ['muppi', 'pi'],
-  ['mupvarpi', 'pi.alt'],
-  ['muppsi', 'psi'],
-  ['muprho', 'rho'],
-  ['mupvarrho', 'rho.alt'],
-  ['mupsigma', 'sigma'],
-  ['mupvarsigma', 'sigma.alt'],
-  ['muptau', 'tau'],
-  ['muptheta', 'theta'],
-  ['mupvartheta', 'theta.alt'],
-  ['mupupsilon', 'upsilon'],
-  ['mupxi', 'xi'],
-  ['mupzeta', 'zeta'],
-  ['mupAlpha', 'Alpha'],
-  ['mupBeta', 'Beta'],
-  ['mupChi', 'Chi'],
-  ['mupDelta', 'Delta'],
-  ['mupEpsilon', 'Epsilon'],
-  ['mupEta', 'Eta'],
-  ['mupGamma', 'Gamma'],
-  ['mupIota', 'Iota'],
-  ['mupKappa', 'Kappa'],
-  ['mupLambda', 'Lambda'],
-  ['mupMu', 'Mu'],
-  ['mupNu', 'Nu'],
-  ['mupOmega', 'Omega'],
-  ['mupOmicron', 'Omicron'],
-  ['mupPhi', 'Phi'],
-  ['mupPi', 'Pi'],
-  ['mupPsi', 'Psi'],
-  ['mupRho', 'Rho'],
-  ['mupSigma', 'Sigma'],
-  ['mupTau', 'Tau'],
-  ['mupTheta', 'Theta'],
-  ['mupUpsilon', 'Upsilon'],
-  ['mupXi', 'Xi'],
-  ['mupZeta', 'Zeta'],
-  */
-  ["BbbA", "AA"],
-  ["BbbB", "BB"],
-  ["BbbC", "CC"],
-  ["BbbD", "DD"],
-  ["BbbE", "EE"],
-  ["BbbF", "FF"],
-  ["BbbG", "GG"],
-  ["BbbH", "HH"],
-  ["BbbI", "II"],
-  ["BbbJ", "JJ"],
-  ["BbbK", "KK"],
-  ["BbbL", "LL"],
-  ["BbbM", "MM"],
-  ["BbbN", "NN"],
-  ["BbbO", "OO"],
-  ["BbbP", "PP"],
-  ["BbbQ", "QQ"],
-  ["BbbR", "RR"],
-  ["BbbS", "SS"],
-  ["BbbT", "TT"],
-  ["BbbU", "UU"],
-  ["BbbV", "VV"],
-  ["BbbW", "WW"],
-  ["BbbX", "XX"],
-  ["BbbY", "YY"],
-  ["BbbZ", "ZZ"],
-  ["ell", "ell"],
-  ["Planckconst", "planck"],
-  ["hslash", "planck.reduce"],
-  ["Angstrom", "angstrom"],
-  ["Re", "Re"],
-  ["Im", "Im"],
-  ["imath", "dotless.i"],
-  ["jmath", "dotless.j"]
+  ["vdots", "dots.v"],
+  ["vee", "or"],
+  ["Vee", "or.double"],
+  ["veedot", "or.dot"],
+  ["veeeq", "eq.equi"],
+  ["vert", "bar.v"],
+  ["Vert", "bar.v.double"],
+  ["vlongdash", "tack.r.long"],
+  ["vrectangle", "rect.stroked.v"],
+  ["vrectangleblack", "rect.filled.v"],
+  ["Vvert", "bar.v.triple"],
+  ["vysmblkcircle", "circle.filled.small"],
+  ["vysmwhtcircle", "circle.stroked.tiny"],
+  // or compose
+  ["wedge", "and"],
+  ["Wedge", "and.double"],
+  ["wedgedot", "and.dot"],
+  ["wedgeq", "eq.est"],
+  ["whiteinwhitetriangle", "triangle.stroked.nested"],
+  ["whthorzoval", "ellipse.stroked.h"],
+  ["whtvertoval", "ellipse.stroked.v"],
+  ["wideangledown", "angle.oblique"],
+  ["wr", "wreath"],
+  ["xsol", "slash.big"]
 ]);
 var texAliasMap = /* @__PURE__ */ new Map([
   ["gets", "leftarrow"],
@@ -1112,6 +1100,16 @@ function array_split(array, sep) {
   res.push(current_slice);
   return res;
 }
+function array_join(array, sep) {
+  const res = [];
+  for (let i = 0; i < array.length; i++) {
+    res.push(array[i]);
+    if (i != array.length - 1) {
+      res.push(sep);
+    }
+  }
+  return res;
+}
 
 // src/types.ts
 var TexToken = class {
@@ -1677,6 +1675,16 @@ var BINARY_COMMANDS = [
   "tbinom",
   "overset"
 ];
+var IGNORED_COMMANDS = [
+  "bigl",
+  "bigr",
+  "biggl",
+  "biggr",
+  "Bigl",
+  "Bigr",
+  "Biggl",
+  "Biggr"
+];
 var EMPTY_NODE = new TexNode("empty", "");
 function get_command_param_num(command) {
   if (UNARY_COMMANDS.includes(command)) {
@@ -1770,7 +1778,46 @@ var rules_map = /* @__PURE__ */ new Map([
   [String.raw`\s+`, (s) => new TexToken(4 /* SPACE */, s.text())],
   [String.raw`\\[\\,:;]`, (s) => new TexToken(6 /* CONTROL */, s.text())],
   [String.raw`\\[{}%$&#_|]`, (s) => new TexToken(0 /* ELEMENT */, s.text())],
-  [String.raw`\\[a-zA-Z]+`, (s) => new TexToken(1 /* COMMAND */, s.text())],
+  [String.raw`(\\[a-zA-Z]+)(\s*\d|\s+[a-zA-Z])\s*([0-9a-zA-Z])`, (s) => {
+    const text = s.text();
+    const regex = RegExp(String.raw`(\\[a-zA-Z]+)(\s*\d|\s+[a-zA-Z])\s*([0-9a-zA-Z])`);
+    const match = text.match(regex);
+    assert(match !== null);
+    const command = match[1];
+    if (BINARY_COMMANDS.includes(command.substring(1))) {
+      const arg1 = match[2].trimStart();
+      const arg2 = match[3];
+      return [
+        new TexToken(1 /* COMMAND */, command),
+        new TexToken(0 /* ELEMENT */, arg1),
+        new TexToken(0 /* ELEMENT */, arg2)
+      ];
+    } else {
+      s.reject();
+      return [];
+    }
+  }],
+  [String.raw`(\\[a-zA-Z]+)(\s*\d|\s+[a-zA-Z])`, (s) => {
+    const text = s.text();
+    const regex = RegExp(String.raw`(\\[a-zA-Z]+)(\s*\d|\s+[a-zA-Z])`);
+    const match = text.match(regex);
+    assert(match !== null);
+    const command = match[1];
+    if (UNARY_COMMANDS.includes(command.substring(1))) {
+      const arg1 = match[2].trimStart();
+      return [
+        new TexToken(1 /* COMMAND */, command),
+        new TexToken(0 /* ELEMENT */, arg1)
+      ];
+    } else {
+      s.reject();
+      return [];
+    }
+  }],
+  [String.raw`\\[a-zA-Z]+`, (s) => {
+    const command = s.text();
+    return [new TexToken(1 /* COMMAND */, command)];
+  }],
   [String.raw`[0-9]+`, (s) => new TexToken(0 /* ELEMENT */, s.text())],
   [String.raw`[a-zA-Z]`, (s) => new TexToken(0 /* ELEMENT */, s.text())],
   [String.raw`[+\-*/='<>!.,;:?()\[\]|]`, (s) => new TexToken(0 /* ELEMENT */, s.text())],
@@ -1883,6 +1930,9 @@ var LatexParser = class {
     }
   }
   parseNextExprWithoutSupSub(tokens, start) {
+    if (start >= tokens.length) {
+      return [EMPTY_NODE, start];
+    }
     const firstToken = tokens[start];
     switch (firstToken.type) {
       case 0 /* ELEMENT */:
@@ -1895,6 +1945,10 @@ var LatexParser = class {
       case 5 /* NEWLINE */:
         return [new TexNode("whitespace", firstToken.value), start + 1];
       case 1 /* COMMAND */:
+        const commandName = firstToken.value.slice(1);
+        if (IGNORED_COMMANDS.includes(commandName)) {
+          return this.parseNextExprWithoutSupSub(tokens, start + 1);
+        }
         if (firstToken.eq(BEGIN_COMMAND)) {
           return this.parseBeginEndExpr(tokens, start);
         } else if (firstToken.eq(LEFT_COMMAND)) {
@@ -1955,7 +2009,7 @@ var LatexParser = class {
             throw new LatexParserError("No matching right square bracket for [");
           }
           const [exponent, _] = this.parseGroup(tokens, posLeftSquareBracket + 1, posRightSquareBracket);
-          const [arg12, newPos2] = this.parseNextExprWithoutSupSub(tokens, posRightSquareBracket + 1);
+          const [arg12, newPos2] = this.parseNextArg(tokens, posRightSquareBracket + 1);
           return [new TexNode("unaryFunc", command, [arg12], exponent), newPos2];
         } else if (command === "\\text") {
           if (pos + 2 >= tokens.length) {
@@ -1967,18 +2021,41 @@ var LatexParser = class {
           const text = tokens[pos + 1].value;
           return [new TexNode("text", text), pos + 3];
         }
-        let [arg1, newPos] = this.parseNextExprWithoutSupSub(tokens, pos);
+        let [arg1, newPos] = this.parseNextArg(tokens, pos);
         return [new TexNode("unaryFunc", command, [arg1]), newPos];
       }
       case 2: {
-        const [arg1, pos1] = this.parseNextExprWithoutSupSub(tokens, pos);
-        const [arg2, pos2] = this.parseNextExprWithoutSupSub(tokens, pos1);
+        const [arg1, pos1] = this.parseNextArg(tokens, pos);
+        const [arg2, pos2] = this.parseNextArg(tokens, pos1);
         return [new TexNode("binaryFunc", command, [arg1, arg2]), pos2];
       }
       default:
         throw new Error("Invalid number of parameters");
     }
   }
+  /*
+  Extract a non-space argument from the token stream.
+  So that `\frac{12} 3` is parsed as
+      TexCommand{ content: '\frac', args: ['12', '3'] }
+      rather than
+      TexCommand{ content: '\frac', args: ['12', ' '] }, TexElement{ content: '3' }
+  */
+  parseNextArg(tokens, start) {
+    let pos = start;
+    let arg = null;
+    while (pos < tokens.length) {
+      let node;
+      [node, pos] = this.parseNextExprWithoutSupSub(tokens, pos);
+      if (node.type !== "whitespace") {
+        arg = node;
+        break;
+      }
+    }
+    if (arg === null) {
+      throw new LatexParserError("Expecting argument but token stream ended");
+    }
+    return [arg, pos];
+  }
   parseLeftRightExpr(tokens, start) {
     assert(tokens[start].eq(LEFT_COMMAND));
     let pos = start + 1;
@@ -2215,7 +2292,6 @@ var TypstWriter = class {
     no_need_space ||= /[^=]$/.test(this.buffer) && str === "(";
     no_need_space ||= /^[_^,;!]$/.test(str);
     no_need_space ||= str === "'";
-    no_need_space ||= /[0-9]$/.test(this.buffer) && /^[0-9]/.test(str);
     no_need_space ||= /[\(\[{]\s*(-|\+)$/.test(this.buffer) || this.buffer === "-" || this.buffer === "+";
     no_need_space ||= str.startsWith("\n");
     no_need_space ||= this.buffer === "";
@@ -2784,7 +2860,9 @@ var TYPST_UNARY_FUNCTIONS = [
   "underline",
   "bb",
   "cal",
-  "frak"
+  "frak",
+  "floor",
+  "ceil"
 ];
 var TYPST_BINARY_FUNCTIONS = [
   "frac",
@@ -2808,6 +2886,7 @@ function typst_token_to_tex(token) {
   }
   return "\\" + token;
 }
+var TEX_NODE_COMMA = new TexNode("element", ",");
 function convert_typst_node_to_tex(node) {
   if (node.eq(new TypstNode("symbol", "eq.def"))) {
     return new TexNode("binaryFunc", "\\overset", [
@@ -2845,19 +2924,29 @@ function convert_typst_node_to_tex(node) {
     case "funcCall": {
       if (TYPST_UNARY_FUNCTIONS.includes(node.content)) {
         if (node.content === "lr") {
-          const body = node.args[0];
-          if (body.type === "group") {
-            let left_delim = body.args[0].content;
-            let right_delim = body.args[body.args.length - 1].content;
-            left_delim = apply_escape_if_needed2(left_delim);
-            right_delim = apply_escape_if_needed2(right_delim);
+          const data = node.data;
+          if (data.leftDelim !== null) {
+            let left_delim = apply_escape_if_needed2(data.leftDelim);
+            assert(data.rightDelim !== null, "leftDelim has value but rightDelim not");
+            let right_delim = apply_escape_if_needed2(data.rightDelim);
             return new TexNode("ordgroup", "", [
               new TexNode("element", "\\left" + left_delim),
-              ...body.args.slice(1, body.args.length - 1).map(convert_typst_node_to_tex),
+              ...node.args.map(convert_typst_node_to_tex),
               new TexNode("element", "\\right" + right_delim)
             ]);
+          } else {
+            return new TexNode("ordgroup", "", node.args.map(convert_typst_node_to_tex));
           }
         }
+        if (node.content === "floor" || node.content === "ceil") {
+          const left = "\\l" + node.content;
+          const right = "\\r" + node.content;
+          return new TexNode("ordgroup", "", [
+            new TexNode("symbol", left),
+            ...node.args.map(convert_typst_node_to_tex),
+            new TexNode("element", right)
+          ]);
+        }
         const command = typst_token_to_tex(node.content);
         return new TexNode("unaryFunc", command, node.args.map(convert_typst_node_to_tex));
       } else if (TYPST_BINARY_FUNCTIONS.includes(node.content)) {
@@ -2879,7 +2968,7 @@ function convert_typst_node_to_tex(node) {
         return new TexNode("ordgroup", "", [
           new TexNode("symbol", typst_token_to_tex(node.content)),
           new TexNode("element", "("),
-          ...node.args.map(convert_typst_node_to_tex),
+          ...array_join(node.args.map(convert_typst_node_to_tex), TEX_NODE_COMMA),
           new TexNode("element", ")")
         ]);
       }
@@ -3048,23 +3137,39 @@ function tokenize_typst(input) {
   const lexer = new JSLex(spec2);
   return lexer.collect(input);
 }
-function find_closing_match2(tokens, start) {
-  assert(tokens[start].isOneOf([LEFT_PARENTHESES, LEFT_BRACKET, LEFT_CURLY_BRACKET2]));
+function _find_closing_match(tokens, start, leftBrackets, rightBrackets) {
+  assert(tokens[start].isOneOf(leftBrackets));
   let count = 1;
   let pos = start + 1;
   while (count > 0) {
     if (pos >= tokens.length) {
       throw new Error("Unmatched brackets");
     }
-    if (tokens[pos].isOneOf([LEFT_PARENTHESES, LEFT_BRACKET, LEFT_CURLY_BRACKET2])) {
-      count += 1;
-    } else if (tokens[pos].isOneOf([RIGHT_PARENTHESES, RIGHT_BRACKET, RIGHT_CURLY_BRACKET2])) {
+    if (tokens[pos].isOneOf(rightBrackets)) {
       count -= 1;
+    } else if (tokens[pos].isOneOf(leftBrackets)) {
+      count += 1;
     }
     pos += 1;
   }
   return pos - 1;
 }
+function find_closing_match2(tokens, start) {
+  return _find_closing_match(
+    tokens,
+    start,
+    [LEFT_PARENTHESES, LEFT_BRACKET, LEFT_CURLY_BRACKET2],
+    [RIGHT_PARENTHESES, RIGHT_BRACKET, RIGHT_CURLY_BRACKET2]
+  );
+}
+function find_closing_delim(tokens, start) {
+  return _find_closing_match(
+    tokens,
+    start,
+    [LEFT_PARENTHESES, LEFT_BRACKET, LEFT_CURLY_BRACKET2, VERTICAL_BAR],
+    [RIGHT_PARENTHESES, RIGHT_BRACKET, RIGHT_CURLY_BRACKET2, VERTICAL_BAR]
+  );
+}
 function find_closing_parenthesis(nodes, start) {
   const left_parenthesis = new TypstNode("atom", "(");
   const right_parenthesis = new TypstNode("atom", ")");
@@ -3190,6 +3295,7 @@ var LEFT_BRACKET = new TypstToken(1 /* ELEMENT */, "[");
 var RIGHT_BRACKET = new TypstToken(1 /* ELEMENT */, "]");
 var LEFT_CURLY_BRACKET2 = new TypstToken(1 /* ELEMENT */, "{");
 var RIGHT_CURLY_BRACKET2 = new TypstToken(1 /* ELEMENT */, "}");
+var VERTICAL_BAR = new TypstToken(1 /* ELEMENT */, "|");
 var COMMA = new TypstToken(1 /* ELEMENT */, ",");
 var SEMICOLON = new TypstToken(1 /* ELEMENT */, ";");
 var SINGLE_SPACE = new TypstToken(4 /* SPACE */, " ");
@@ -3305,9 +3411,13 @@ var TypstParser = class {
           casesNode.setOptions(named_params);
           return [casesNode, newPos2];
         }
+        if (firstToken.value === "lr") {
+          const [args2, newPos2, lrData] = this.parseLrArguments(tokens, start + 1);
+          const func_call2 = new TypstNode("funcCall", firstToken.value, args2, lrData);
+          return [func_call2, newPos2];
+        }
         const [args, newPos] = this.parseArguments(tokens, start + 1);
-        const func_call = new TypstNode("funcCall", firstToken.value);
-        func_call.args = args;
+        const func_call = new TypstNode("funcCall", firstToken.value, args);
         return [func_call, newPos];
       }
     }
@@ -3319,6 +3429,27 @@ var TypstParser = class {
     return [this.parseCommaSeparatedArguments(tokens, start + 1, end), end + 1];
   }
   // start: the position of the left parentheses
+  parseLrArguments(tokens, start) {
+    if (tokens[start + 1].isOneOf([LEFT_PARENTHESES, LEFT_BRACKET, LEFT_CURLY_BRACKET2, VERTICAL_BAR])) {
+      const end = find_closing_match2(tokens, start);
+      const inner_start = start + 1;
+      const inner_end = find_closing_delim(tokens, inner_start);
+      const inner_args = this.parseCommaSeparatedArguments(tokens, inner_start + 1, inner_end);
+      return [
+        inner_args,
+        end + 1,
+        { leftDelim: tokens[inner_start].value, rightDelim: tokens[inner_end].value }
+      ];
+    } else {
+      const [args, end] = this.parseArguments(tokens, start);
+      return [
+        args,
+        end,
+        { leftDelim: null, rightDelim: null }
+      ];
+    }
+  }
+  // start: the position of the left parentheses
   parseGroupsOfArguments(tokens, start, newline_token = SEMICOLON) {
     const end = find_closing_match2(tokens, start);
     tokens = tokens.slice(0, end);
@@ -3385,7 +3516,7 @@ var TypstParser = class {
     const args = [];
     let pos = start;
     while (pos < end) {
-      let arg = new TypstNode("group", "", []);
+      let nodes = [];
       while (pos < end) {
         if (tokens[pos].eq(COMMA)) {
           pos += 1;
@@ -3396,12 +3527,15 @@ var TypstParser = class {
         }
         const [argItem, newPos] = this.parseNextExpr(tokens, pos);
         pos = newPos;
-        arg.args.push(argItem);
+        nodes.push(argItem);
       }
-      if (arg.args.length === 0) {
+      let arg;
+      if (nodes.length === 0) {
         arg = TYPST_EMPTY_NODE;
-      } else if (arg.args.length === 1) {
-        arg = arg.args[0];
+      } else if (nodes.length === 1) {
+        arg = nodes[0];
+      } else {
+        arg = process_operators(nodes);
       }
       args.push(arg);
     }