diff options
Diffstat (limited to 'support/digestif/data/amssymb.sty.tags')
-rw-r--r-- | support/digestif/data/amssymb.sty.tags | 677 |
1 files changed, 677 insertions, 0 deletions
diff --git a/support/digestif/data/amssymb.sty.tags b/support/digestif/data/amssymb.sty.tags new file mode 100644 index 0000000000..c7b19b5a3c --- /dev/null +++ b/support/digestif/data/amssymb.sty.tags @@ -0,0 +1,677 @@ +-- Copyright 2006-2019 Will Robertson +-- Copyright 2010-2017 Philipp Stephani +-- Copyright 2011-2017 Joseph Wright +-- Copyright 2012-2015 Khaled Hosny +-- Copyright 2022 Augusto Stoffel +-- SPDX-License-Identifier: LPPL-1.3c+ +-- +-- Adapted from the file unicode-math-table.tex, part of the +-- unicode-math package, which can be found at +-- https://ctan.org/pkg/unicode-math. +ctan_package = "amsfonts" +commands = { + Bbbk = { + summary = "mathematical double-struck small k", + symbol = "đ" + }, + Bumpeq = { + summary = "bumpy equals", + symbol = "â" + }, + Cap = { + summary = "/cap /doublecap b: double intersection", + symbol = "â" + }, + Cup = { + summary = "/cup /doublecup b: double union", + symbol = "â" + }, + Doteq = { + summary = "/doteqdot /doteq r: equals, even dots", + symbol = "â" + }, + Finv = { + summary = "turned capital f", + symbol = "âČ" + }, + Game = { + summary = "turned sans-serif capital g", + symbol = "â
" + }, + Lleftarrow = { + summary = "left triple arrow", + symbol = "â" + }, + Lsh = { + summary = "/lsh a:", + symbol = "â°" + }, + Rrightarrow = { + summary = "right triple arrow", + symbol = "â" + }, + Rsh = { + summary = "/rsh a:", + symbol = "â±" + }, + Subset = { + summary = "double subset", + symbol = "â" + }, + Supset = { + summary = "double superset", + symbol = "â" + }, + Vdash = { + summary = "double vertical, dash", + symbol = "â©" + }, + Vvdash = { + summary = "triple vertical, dash", + symbol = "âȘ" + }, + approxeq = { + summary = "approximate, equals", + symbol = "â" + }, + backprime = { + summary = "reverse prime, not superscripted", + symbol = "â”" + }, + backsim = { + summary = "reverse similar", + symbol = "âœ" + }, + backsimeq = { + summary = "reverse similar, equals", + symbol = "â" + }, + barwedge = { + summary = "bar, wedge (large wedge)", + symbol = "âŒ" + }, + because = { + summary = "because", + symbol = "â”" + }, + beth = { + summary = "beth, hebrew", + symbol = "â¶" + }, + between = { + summary = "between", + symbol = "âŹ" + }, + bigstar = { + summary = "star, filled", + symbol = "â
" + }, + blacktriangle = { + summary = "up triangle, filled", + symbol = "âŽ" + }, + blacktriangledown = { + summary = "down triangle, filled", + symbol = "âŸ" + }, + blacktriangleleft = { + summary = "(large) left triangle, filled", + symbol = "â" + }, + blacktriangleright = { + summary = "(large) right triangle, filled", + symbol = "â¶" + }, + boxdot = { + summary = "/dotsquare /boxdot b: small dot in box", + symbol = "âĄ" + }, + boxminus = { + summary = "minus sign in box", + symbol = "â" + }, + boxplus = { + summary = "plus sign in box", + symbol = "â" + }, + boxtimes = { + summary = "multiply sign in box", + symbol = "â " + }, + bumpeq = { + summary = "bumpy equals, equals", + symbol = "â" + }, + circeq = { + summary = "circle, equals", + symbol = "â" + }, + circledast = { + summary = "asterisk in circle", + symbol = "â" + }, + circledcirc = { + summary = "small circle in circle", + symbol = "â" + }, + circleddash = { + summary = "hyphen in circle", + symbol = "â" + }, + complement = { + summary = "complement sign", + symbol = "â" + }, + curlyeqprec = { + summary = "curly equals, precedes", + symbol = "â" + }, + curlyeqsucc = { + summary = "curly equals, succeeds", + symbol = "â" + }, + curlyvee = { + summary = "curly logical or", + symbol = "â" + }, + curlywedge = { + summary = "curly logical and", + symbol = "â" + }, + curvearrowleft = { + summary = "left curved arrow", + symbol = "â¶" + }, + curvearrowright = { + summary = "right curved arrow", + symbol = "â·" + }, + daleth = { + summary = "daleth, hebrew", + symbol = "âž" + }, + divideontimes = { + summary = "division on times", + symbol = "â" + }, + dotplus = { + summary = "plus sign, dot above", + symbol = "â" + }, + doublebarwedge = { + summary = "logical and with double overbar", + symbol = "â©" + }, + downdownarrows = { + summary = "two down arrows", + symbol = "â" + }, + downharpoonleft = { + summary = "down harpoon-left", + symbol = "â" + }, + downharpoonright = { + summary = "down harpoon-right", + symbol = "â" + }, + eqcirc = { + summary = "circle on equals sign", + symbol = "â" + }, + eqsim = { + summary = "equals, similar", + symbol = "â" + }, + eqslantgtr = { + summary = "slanted equal to or greater-than", + symbol = "âȘ" + }, + eqslantless = { + summary = "slanted equal to or less-than", + symbol = "âȘ" + }, + fallingdotseq = { + summary = "equals, falling dots", + symbol = "â" + }, + geqq = { + summary = "greater, double equals", + symbol = "â§" + }, + geqslant = { + summary = "greater-than or slanted equal to", + symbol = "â©Ÿ" + }, + ggg = { + summary = "/ggg /gg /gggtr r: triple greater-than", + symbol = "â" + }, + gimel = { + summary = "gimel, hebrew", + symbol = "â·" + }, + gnapprox = { + summary = "greater-than and not approximate", + symbol = "âȘ" + }, + gneq = { + summary = "greater-than and single-line not equal to", + symbol = "âȘ" + }, + gneqq = { + summary = "greater, not double equals", + symbol = "â©" + }, + gnsim = { + summary = "greater, not similar", + symbol = "â§" + }, + gtrapprox = { + summary = "greater-than or approximate", + symbol = "âȘ" + }, + gtrdot = { + summary = "greater than, with dot", + symbol = "â" + }, + gtreqless = { + summary = "greater, equals, less", + symbol = "â" + }, + gtreqqless = { + summary = "greater-than above double-line equal above less-than", + symbol = "âȘ" + }, + gtrless = { + summary = "greater, less", + symbol = "â·" + }, + gtrsim = { + summary = "greater, similar", + symbol = "âł" + }, + hslash = { + summary = "/hslash - variant planck's over 2pi", + symbol = "â" + }, + intercal = { + summary = "intercal", + symbol = "âș" + }, + leftarrowtail = { + summary = "left arrow-tailed", + symbol = "âą" + }, + leftleftarrows = { + summary = "two left arrows", + symbol = "â" + }, + leftrightarrows = { + summary = "left arrow over right arrow", + symbol = "â" + }, + leftrightharpoons = { + summary = "left harpoon over right", + symbol = "â" + }, + leftrightsquigarrow = { + summary = "left and right arr-wavy", + symbol = "â" + }, + leftthreetimes = { + summary = "left semidirect product", + symbol = "â" + }, + leqq = { + summary = "less, double equals", + symbol = "âŠ" + }, + leqslant = { + summary = "less-than or slanted equal to", + symbol = "â©œ" + }, + lessapprox = { + summary = "less-than or approximate", + symbol = "âȘ
" + }, + lessdot = { + summary = "less than, with dot", + symbol = "â" + }, + lesseqgtr = { + summary = "less, equals, greater", + symbol = "â" + }, + lesseqqgtr = { + summary = "less-than above double-line equal above greater-than", + symbol = "âȘ" + }, + lessgtr = { + summary = "less, greater", + symbol = "â¶" + }, + lesssim = { + summary = "less, similar", + symbol = "âČ" + }, + lll = { + summary = "/ll /lll /llless r: triple less-than", + symbol = "â" + }, + lnapprox = { + summary = "less-than and not approximate", + symbol = "âȘ" + }, + lneq = { + summary = "less-than and single-line not equal to", + symbol = "âȘ" + }, + lneqq = { + summary = "less, not double equals", + symbol = "âš" + }, + lnsim = { + summary = "less, not similar", + symbol = "âŠ" + }, + looparrowleft = { + summary = "left arrow-looped", + symbol = "â«" + }, + looparrowright = { + summary = "right arrow-looped", + symbol = "âŹ" + }, + ltimes = { + summary = "times sign, left closed", + symbol = "â" + }, + measuredangle = { + summary = "angle-measured", + symbol = "âĄ" + }, + multimap = { + summary = "/multimap a:", + symbol = "âž" + }, + nLeftarrow = { + summary = "not implied by", + symbol = "â" + }, + nLeftrightarrow = { + summary = "not left and right double arrows", + symbol = "â" + }, + nRightarrow = { + summary = "not implies", + symbol = "â" + }, + nVDash = { + summary = "not double vert, double dash", + symbol = "âŻ" + }, + nVdash = { + summary = "not double vertical, dash", + symbol = "âź" + }, + ncong = { + summary = "not congruent with", + symbol = "â" + }, + nexists = { + summary = "negated exists", + symbol = "â" + }, + ngeq = { + summary = "not greater-than-or-equal", + symbol = "â±" + }, + ngtr = { + summary = "not greater-than", + symbol = "âŻ" + }, + nleftarrow = { + summary = "not left arrow", + symbol = "â" + }, + nleftrightarrow = { + summary = "not left and right arrow", + symbol = "âź" + }, + nleq = { + summary = "not less-than-or-equal", + symbol = "â°" + }, + nless = { + summary = "not less-than", + symbol = "âź" + }, + nmid = { + summary = "negated mid", + symbol = "â€" + }, + nparallel = { + summary = "not parallel", + symbol = "âŠ" + }, + nprec = { + summary = "not precedes", + symbol = "â" + }, + nrightarrow = { + summary = "not right arrow", + symbol = "â" + }, + nsim = { + summary = "not similar", + symbol = "â" + }, + nsubseteq = { + summary = "not subset, equals", + symbol = "â" + }, + nsucc = { + summary = "not succeeds", + symbol = "â" + }, + nsupseteq = { + summary = "not superset, equals", + symbol = "â" + }, + ntrianglelefteq = { + summary = "not left triangle, equals", + symbol = "âŹ" + }, + ntrianglerighteq = { + summary = "not right triangle, equals", + symbol = "â" + }, + nvDash = { + summary = "not vertical, double dash", + symbol = "â" + }, + nvdash = { + summary = "not vertical, dash", + symbol = "âŹ" + }, + pitchfork = { + summary = "pitchfork", + symbol = "â" + }, + precapprox = { + summary = "precedes above almost equal to", + symbol = "âȘ·" + }, + preccurlyeq = { + summary = "precedes, curly equals", + symbol = "âŒ" + }, + precnapprox = { + summary = "precedes above not almost equal to", + symbol = "âȘč" + }, + precneqq = { + summary = "precedes above not equal to", + symbol = "âȘ”" + }, + precnsim = { + summary = "precedes, not similar", + symbol = "âš" + }, + precsim = { + summary = "precedes, similar", + symbol = "âŸ" + }, + rightarrowtail = { + summary = "right arrow-tailed", + symbol = "âŁ" + }, + rightleftarrows = { + summary = "right arrow over left arrow", + symbol = "â" + }, + rightrightarrows = { + summary = "two right arrows", + symbol = "â" + }, + rightsquigarrow = { + summary = "rightwards squiggle arrow", + symbol = "â" + }, + rightthreetimes = { + summary = "right semidirect product", + symbol = "â" + }, + risingdotseq = { + summary = "equals, rising dots", + symbol = "â" + }, + rtimes = { + summary = "times sign, right closed", + symbol = "â" + }, + smallsetminus = { + summary = "small set minus (cf. reverse solidus)", + symbol = "â" + }, + sphericalangle = { + summary = "angle-spherical", + symbol = "âą" + }, + subseteqq = { + summary = "subset of above equals sign", + symbol = "â«
" + }, + subsetneq = { + summary = "subset, not equals", + symbol = "â" + }, + subsetneqq = { + summary = "subset of above not equal to", + symbol = "â«" + }, + succapprox = { + summary = "succeeds above almost equal to", + symbol = "âȘž" + }, + succcurlyeq = { + summary = "succeeds, curly equals", + symbol = "âœ" + }, + succnapprox = { + summary = "succeeds above not almost equal to", + symbol = "âȘș" + }, + succneqq = { + summary = "succeeds above not equal to", + symbol = "âȘ¶" + }, + succnsim = { + summary = "succeeds, not similar", + symbol = "â©" + }, + succsim = { + summary = "succeeds, similar", + symbol = "âż" + }, + supseteqq = { + summary = "superset of above equals sign", + symbol = "â«" + }, + supsetneq = { + summary = "superset, not equals", + symbol = "â" + }, + supsetneqq = { + summary = "superset of above not equal to", + symbol = "â«" + }, + therefore = { + summary = "therefore", + symbol = "âŽ" + }, + triangledown = { + summary = "down triangle, open", + symbol = "âż" + }, + trianglelefteq = { + summary = "left triangle, equals", + symbol = "âŽ" + }, + triangleq = { + summary = "triangle, equals", + symbol = "â" + }, + trianglerighteq = { + summary = "right triangle, equals", + symbol = "â”" + }, + twoheadleftarrow = { + summary = "left two-headed arrow", + symbol = "â" + }, + twoheadrightarrow = { + summary = "right two-headed arrow", + symbol = "â " + }, + upharpoonleft = { + summary = "up harpoon-left", + symbol = "âż" + }, + upharpoonright = { + summary = "/upharpoonright /restriction a: up harpoon-right", + symbol = "âŸ" + }, + upuparrows = { + summary = "two up arrows", + symbol = "â" + }, + vDash = { + summary = "vertical, double dash", + symbol = "âš" + }, + varkappa = { + summary = "rounded small kappa, greek", + symbol = "Ï°" + }, + varnothing = { + summary = "circle, slash", + symbol = "â
" + }, + vartriangle = { + summary = "/triangle - up triangle, open", + symbol = "â”" + }, + vartriangleleft = { + summary = "left triangle, open, variant", + symbol = "âČ" + }, + vartriangleright = { + summary = "right triangle, open, variant", + symbol = "âł" + }, + veebar = { + summary = "logical or, bar below (large vee); exclusive disjunction", + symbol = "â»" + } +} |