tex2typst 0.4.0 → 0.5.0

package/tests/general-symbols.toml

@@ -1,755 +0,0 @@
-# The following are from Typst documentation website
-# https://typst.app/docs/reference/symbols/sym/
-# This file was auto-generated by the script
-[symbols_in_official_doc]
-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"
-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"
-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"
-ast = "ast.op"
-circledast = "ast.circle"
-boxast = "ast.square"
-mathatsign = "at"
-backslash = "backslash"
-obslash = "backslash.circle"
-rsolbar = "backslash.not"
-mathcolon = "colon"
-Colon = "colon.double"
-coloneq = "colon.eq"
-Coloneq = "colon.double.eq"
-mathcomma = "comma"
-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"
-ddddot = "dot.quad"
-mathexclam = "excl"
-Exclam = "excl.double"
-mathquestion = "quest"
-Question = "quest.double"
-mathoctothorpe = "hash"
-# mathhyphen = "hyph" # \mathhyphen is not defined in standard amsmath package
-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"
-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"
-dotplus = "plus.dot"
-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"
-eqcolon = "eq.colon"
-eqdef = "eq.def"
-triangleq = "eq.delta"
-veeeq = "eq.equi"
-wedgeq = "eq.est"
-eqgtr = "eq.gt"
-eqless = "eq.lt"
-measeq = "eq.m"
-ne = "eq.not"
-curlyeqprec = "eq.prec"
-questeq = "eq.quest"
-curlyeqsucc = "eq.succ"
-# equiv = "eq.triple"
-equiv = "equiv"
-Equiv = "eq.quad"
-greater = "gt"
-ogreaterthan = "gt.circle"
-gtrdot = "gt.dot"
-gtrapprox = "gt.approx"
-gg = "gt.double"
-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"
-gnapprox = "gt.napprox"
-gneqq = "gt.nequiv"
-ngtr = "gt.not"
-gnsim = "gt.ntilde"
-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"
-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"
-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.inter"
-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 = "circle.stroked.tiny"
-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"
-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"
-parallelogram = "parallelogram.stroked"
-parallelogramblack = "parallelogram.filled"
-star = "star.op"
-bigwhitestar = "star.stroked"
-bigstar = "star.filled"
-rightarrow = "arrow.r"
-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.long"
-longrightsquigarrow = "arrow.r.long.squiggly"
-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"
-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"
-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"
-updownharpoonsleftright = "harpoons.tlbr"
-upharpoonsleftright = "harpoons.tltr"
-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"
-Re = "Re"
-Im = "Im"
-imath = "dotless.i"
-jmath = "dotless.j"