tex2typst 0.3.5 → 0.3.7

package/src/map.ts

@@ -55,70 +55,29 @@ const symbolMap = new Map<string, string>([
     // 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', '≍'],   // just use the unicode character :-)
-    ['equiv', 'equiv'],
-    ['propto', 'prop'],
+    ['leadsto', 'arrow.r.squiggly'],
+    ['P', 'pilcrow'],
+    ['S', 'section'],
+    ['aleph', 'alef'],
 
-    /* arrows */
-    ['gets', 'arrow.l'],
-    // ['longmapsto', 'arrow.r.bar'],
-    ['iff', 'arrow.l.r.double.long'],
-    ['implies', 'arrow.r.double.long'],
-    ['leadsto', 'arrow.squiggly'],
 
-
-    ['Cap', 'sect.double'], 
-    ['Cup', 'union.double'], 
     ['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'], 
     ['checkmark', 'checkmark'], 
@@ -213,7 +172,6 @@ const symbolMap = new Map<string, string>([
     ['oiint', 'integral.surf'],
     ['oiiint', 'integral.vol'],
     ['omega', 'omega'], 
-    // ['omicron', 'omicron'], 
     ['ominus', 'minus.circle'], 
     // ['oplus', 'xor'], // or 'plus.circle'
     ['otimes', 'times.circle'], 
@@ -246,8 +204,6 @@ const symbolMap = new Map<string, string>([
     ['smallsetminus', 'without'], 
     // ['smile', 'paren.b'], 
     ['spadesuit', 'suit.spade'],
-    ['sqcap', 'sect.sq'], 
-    ['sqcup', 'union.sq'], 
     ['sqsubseteq', 'subset.eq.sq'],
     ['sqsupseteq', 'supset.eq.sq'],
     // ['star', 'star'], 
@@ -297,763 +253,800 @@ const symbolMap = new Map<string, string>([
 
 // The following are from Typst documentation website, augo-generated by the script
 const map_from_official_docs: Map<string, string> = 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'],
-    ['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'],
+    ['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'],
+    ['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'],
+    ['eqdef', 'eq.def'],  // \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'],
-    ['leq', 'lt.eq'],
-    ['leqslant', 'lt.eq.slant'],
-    ['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'],
-    ['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'],
+    ['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'],
-    ['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'],
-    ['ni', 'in.rev'],
-    ['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'],
-    ['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'],
-    ['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'],
+    ['increment', 'laplace'],
     ['infty', 'infinity'],
-    ['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'],
-    ['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'],
+    ['intcap', 'integral.inter'],
+    ['intclockwise', 'integral.cw'],
     ['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'],
-    ['operp', 'perp.circle'],
-    ['diameter', 'diameter'],
+    ['interleave', 'interleave'],
+    ['intlarhk', 'integral.arrow.hook'],
+    ['intx', 'integral.times'],
     ['Join', 'join'],
-    ['rightouterjoin', 'join.r'],
+    ['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'],
-    ['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'],
+    ['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'],
+    ['lessgtr', 'lt.gt'],
+    ['lesssim', 'lt.tilde'],
+    ['lfloor', 'floor.l'],
     ['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'],
-    ['parallelogram', 'parallelogram.stroked'],
-    ['parallelogramblack', 'parallelogram.filled'],
-    ['star', 'star.op'],
-    ['bigwhitestar', 'star.stroked'],
-    ['bigstar', 'star.filled'],
-    ['rightarrow', 'arrow.r'],
+    ['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'],
+    ['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'],
-    ['mapsto', 'arrow.r.bar'],
-    ['rightdowncurvedarrow', 'arrow.r.curve'],
-    ['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.double.long'],
     ['longrightarrow', 'arrow.r.long'],
     ['longrightsquigarrow', 'arrow.r.long.squiggly'],
+    ['looparrowleft', 'arrow.l.loop'],
     ['looparrowright', 'arrow.r.loop'],
-    ['nrightarrow', 'arrow.r.not'],
-    ['RRightarrow', 'arrow.r.quad'],
-    ['rightsquigarrow', 'arrow.r.squiggly'],
-    ['rightarrowbar', 'arrow.r.stop'],
-    ['rightwhitearrow', 'arrow.r.stroked'],
-    ['rightarrowtail', 'arrow.r.tail'],
-    ['similarrightarrow', 'arrow.r.tilde'],
-    ['Rrightarrow', 'arrow.r.triple'],
-    ['twoheadmapsto', 'arrow.r.twohead.bar'],
-    ['twoheadrightarrow', 'arrow.r.twohead'],
-    ['rightwavearrow', 'arrow.r.wave'],
-    ['leftarrow', 'arrow.l'],
+    ['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'],
-    ['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'],
+    ['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'],
+    ['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'],
+    ['nsqsupseteq', 'supset.eq.sq.not'],
+    ['nsubset', 'subset.not'],
+    ['nsubseteq', 'subset.eq.not'],
+    ['nsucc', 'succ.not'],
+    ['nsucccurlyeq', 'succ.curly.eq.not'],
+    ['nsupset', 'supset.not'],
+    ['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'],
+    ['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'],
+    ['olessthan', 'lt.circle'],
+    ['ominus', 'minus.circle'],
+    ['operp', 'perp.circle'],
+    ['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'],
+    ['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'],
+    ['Rightarrow', 'arrow.r.double'],
+    ['rightarrowbar', 'arrow.r.stop'],
+    ['rightarrowonoplus', 'plus.circle.arrow'],
+    ['rightarrowtail', 'arrow.r.tail'],
+    ['rightdasharrow', 'arrow.r.dashed'],
+    ['rightdotarrow', 'arrow.r.dotted'],
+    ['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'],
+    ['rightthreearrows', 'arrows.rrr'],
+    ['rightthreetimes', 'times.three.r'],
+    ['rightwavearrow', 'arrow.r.wave'],
+    ['rightwhitearrow', 'arrow.r.stroked'],
+    ['risingdotseq', 'eq.dots.up'],
+    ['rparen', 'paren.r'],
+    ['rParen', 'paren.r.double'],
+    ['RRightarrow', 'arrow.r.quad'],
+    ['Rrightarrow', 'arrow.r.triple'],
+    ['rsolbar', 'backslash.not'],
+    ['rtimes', 'times.r'],
+    ['rvzigzag', 'fence.r'],
+    ['Rvzigzag', 'fence.r.double'],
+    ['searrow', 'arrow.br'],
+    ['Searrow', 'arrow.br.double'],
+    ['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'],
+    ['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'],
-    ['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'],
+    ['updasharrow', 'arrow.t.dashed'],
     ['updownarrow', 'arrow.t.b'],
     ['Updownarrow', 'arrow.t.b.double'],
-    ['nearrow', 'arrow.tr'],
-    ['Nearrow', 'arrow.tr.double'],
-    ['hknearrow', 'arrow.tr.hook'],
-    ['searrow', 'arrow.br'],
-    ['Searrow', 'arrow.br.double'],
-    ['hksearrow', 'arrow.br.hook'],
-    ['nwarrow', 'arrow.tl'],
-    ['Nwarrow', 'arrow.tl.double'],
-    ['hknwarrow', 'arrow.tl.hook'],
-    ['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'],
     ['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'],
+]);
+
+const texAliasMap = new Map<string, string>([
+    ['gets', 'leftarrow'],
+    ['iff', 'Longleftrightarrow'],
+    ['implies', 'Longrightarrow'],
+]);
+
+const typstAliasMap = new Map<string, string>([
+    // ['arrow', 'arrow.r'],
+    // ['dot', 'dot.op'],
+    ['arrow.double', 'arrow.r.double'],
+    ['arrow.squiggly', 'arrow.r.squiggly'],
 ]);
 
+
 for(const [key, value] of map_from_official_docs) {
     if(!symbolMap.has(key)) {
         symbolMap.set(key, value);
@@ -1084,4 +1077,10 @@ for(const [key, value] of typst_to_tex_map) {
     reverseSymbolMap.set(key, value);
 }
 
-export {symbolMap, reverseSymbolMap};
+for(const [key, value] of texAliasMap) {
+    if(!symbolMap.has(key)) {
+        symbolMap.set(key, symbolMap.get(value)!);
+    }
+}
+
+export {symbolMap, reverseSymbolMap, texAliasMap, typstAliasMap};