summaryrefslogtreecommitdiff
path: root/support/digestif/data/amssymb.sty.tags
diff options
context:
space:
mode:
Diffstat (limited to 'support/digestif/data/amssymb.sty.tags')
-rw-r--r--support/digestif/data/amssymb.sty.tags677
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 = "⊻"
+ }
+}