tex2typst 0.3.27-beta.1 → 0.3.28

package/tests/general-symbols.toml

@@ -0,0 +1,755 @@
+# 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"