summaryrefslogtreecommitdiff
path: root/info/symbols/comprehensive/source/prune-idx-ineqs.toml
diff options
context:
space:
mode:
Diffstat (limited to 'info/symbols/comprehensive/source/prune-idx-ineqs.toml')
-rw-r--r--info/symbols/comprehensive/source/prune-idx-ineqs.toml512
1 files changed, 512 insertions, 0 deletions
diff --git a/info/symbols/comprehensive/source/prune-idx-ineqs.toml b/info/symbols/comprehensive/source/prune-idx-ineqs.toml
new file mode 100644
index 0000000000..2fd2f0462e
--- /dev/null
+++ b/info/symbols/comprehensive/source/prune-idx-ineqs.toml
@@ -0,0 +1,512 @@
+##############################################
+# Categorize inequalities. #
+# Author: Scott Pakin <scott+clsl@pakin.org> #
+##############################################
+
+# ----------------------------- less than ------------------------------
+
+# ... less than ...
+
+[[rewrite]]
+matches = [
+ "textless",
+ "less",
+ "slanted bar less than"
+]
+item = "less than"
+
+[[rewrite]]
+matches = ["lessdot", "precdot"]
+item = ["less than", "dotted"]
+
+[[rewrite]]
+matches = [
+ "lessclosed",
+ "lesscc",
+ "ltcc"
+]
+item = ["less than", "closed"]
+
+[[rewrite]]
+matches = ["ll", "Lt"]
+item = ["less than", "much"]
+
+[[rewrite]]
+render_contains = '(\faLessThan)'
+item = ["less than", "decorative"]
+
+# This rule should precede the following one.
+[[rewrite]]
+render_contains = '\ABXlll'
+item = ["less than", "much"]
+
+[[rewrite]]
+matches = [
+ "lll",
+ "llless",
+ "lllnest"
+]
+item = ["less than", "very much"]
+
+[[rewrite]]
+matches = "partialmeetcontraction"
+item = ["less than", "much, underlined"]
+
+[[rewrite]]
+matches = "smt"
+item = ["less than", "horizontally barred"]
+
+# ... less than or equal to ...
+
+[[rewrite]]
+matches = [
+ "le",
+ "leq",
+ "leqq",
+ "leqslant",
+ "leqqslant",
+ "LessOrEqual",
+ "varleq",
+ "less than or equal",
+ "slanted bar less than or equal"
+]
+not_render_contains = '\CircLse'
+item = ["less than", "or equal to"]
+
+[[rewrite]]
+render_contains = '(\faLessThanEqual)'
+item = ["less than", "or equal to, decorative"]
+
+[[rewrite]]
+matches = [
+ "leqdot",
+ "lesdot",
+ "leqslantdot",
+ "lesdoto",
+ "lesdotor"
+]
+item = ["less than", "or equal to, dotted"]
+
+[[rewrite]]
+matches = [
+ "leqclosed",
+ "leqslcc",
+ "lescc"
+]
+item = ["less than", "or equal to, closed"]
+
+[[rewrite]]
+matches = [
+ "lvertneqq",
+ "lneqq",
+ "lneq"
+]
+item = ["less than", "but not equal to"]
+
+[[rewrite]]
+matches = "smte"
+item = ["less than", "or equal to, horizontally barred"]
+
+# ... less-than and greater-than combinations ...
+
+[[rewrite]]
+matches = "lessgtr"
+item = ["less than", "or greater than"]
+
+[[rewrite]]
+matches = [
+ "lesg",
+ "lesges",
+ "lesseqgtr",
+ "lesseqgtrslant",
+ "lesseqqgtr",
+ "lesseqslantgtr",
+ "lgE"
+]
+item = ["less than", "or equal to or greater than"]
+
+[[rewrite]]
+matches = "lessneqqgtr"
+item = ["less than", "or greater than but not equal to"]
+
+[[rewrite]]
+matches = "lsimg"
+item = ["less than", "or similar to or greater than"]
+
+# ... less than, other variants ...
+
+[[rewrite]]
+prefix = ["lesssim", "apprle"]
+item = ["less than", "or similar to"]
+
+[[rewrite]]
+matches = "lsime"
+item = ["less than", "or similar to or equal to"]
+
+[[rewrite]]
+matches = "lnsim"
+item = ["less than", "but not similar to"]
+
+[[rewrite]]
+matches = "lessapprox"
+item = ["less than", "or approximately equal to"]
+
+[[rewrite]]
+matches = "lnapprox"
+item = ["less than", "but not approximately equal to"]
+
+[[rewrite]]
+matches = "ltcir"
+item = ["less than", "circle"]
+
+[[rewrite]]
+matches = "ltlarr"
+item = ["less than", "arrow"]
+
+[[rewrite]]
+matches = "ltquest"
+item = ["less than", "question mark"]
+
+# ... less than, negated ...
+
+[[rewrite]]
+matches = [
+ "nless",
+ "not less than",
+ "slanted bar not less than"
+]
+item = ["less than", "negated"]
+
+[[rewrite]]
+matches = "nlessdot"
+item = ["less than", "dotted, negated"]
+
+[[rewrite]]
+matches = [
+ "nlesscc",
+ "nlessclosed",
+ "nltcc"
+]
+item = ["less than", "closed, negated"]
+
+[[rewrite]]
+matches = "nll"
+item = ["less than", "much, negated"]
+
+[[rewrite]]
+matches = "nlll"
+item = ["less than", "very much, negated"]
+
+# ... less than or equal to, negated ...
+
+[[rewrite]]
+matches = [
+ "nle",
+ "nleq",
+ "nleqq",
+ "nleqslant",
+ "nvarleq",
+ "not less than or equal",
+ "slanted bar not less than or equal"
+]
+item = ["less than", "or equal to, negated"]
+
+[[rewrite]]
+matches = [
+ "nleqclosed",
+ "nleqslcc",
+ "nlescc"
+]
+item = ["less than", "or equal to, closed, negated"]
+
+[[rewrite]]
+matches = [
+ "nleqdot",
+ "nleqslantdot",
+ "nlesdot"
+]
+item = ["less than", "or equal to, dotted, negated"]
+
+# ... less-than and greater-than combinations, negated ...
+
+[[rewrite]]
+matches = "nlessgtr"
+item = ["less than", "or greater than, negated"]
+
+[[rewrite]]
+matches = [
+ "nlesg",
+ "nlesseqgtr",
+ "nlesseqgtrslant",
+ "nlesseqqgtr",
+ "nlesseqslantgtr"
+]
+item = ["less than", "or equal to or greater than, negated"]
+
+# ... less than, other variants, negated ...
+
+[[rewrite]]
+matches = "nlesssim"
+item = ["less than", "or similar to, negated"]
+
+[[rewrite]]
+matches = "nlessapprox"
+item = ["less than", "or approximately equal to, negated"]
+
+# ---------------------------- greater than ----------------------------
+
+# ... greater than ...
+
+[[rewrite]]
+matches = [
+ "textgreater",
+ "gtr",
+ "slanted bar greater than"
+]
+item = "greater than"
+
+[[rewrite]]
+render_contains = '(\faGreaterThan)'
+item = ["greater than", "decorative"]
+
+[[rewrite]]
+matches = ["gg", "Gt", "zpipe"]
+item = ["greater than", "much"]
+
+# This rule should precede the following one.
+[[rewrite]]
+render_contains = '\ABXggg'
+item = ["greater than", "much"]
+
+[[rewrite]]
+matches = [
+ "ggg",
+ "gggtr",
+ "gggnest"
+]
+item = ["greater than", "very much"]
+
+[[rewrite]]
+matches = [
+ "gtcc",
+ "gtrcc",
+ "gtrclosed"
+]
+item = ["greater than", "closed"]
+
+[[rewrite]]
+matches = ["gtrdot", "succdot"]
+item = ["greater than", "dotted"]
+
+[[rewrite]]
+matches = "lat"
+item = ["greater than", "horizontally barred"]
+
+# ... greater than or equal to ...
+
+[[rewrite]]
+matches = [
+ "ge",
+ "geq",
+ "geqq",
+ "geqslant",
+ "geqqslant",
+ "vargeq",
+ "LargerOrEqual",
+ "greater than or equal",
+ "greater than or equal to",
+ "slanted bar greater than or equal"
+]
+not_render_contains = '\CircGre'
+item = ["greater than", "or equal to"]
+
+[[rewrite]]
+render_contains = '(\faGreaterThanEqual)'
+item = ["greater than", "or equal to, decorative"]
+
+[[rewrite]]
+matches = [
+ "gescc",
+ "geqslcc",
+ "geqclosed"
+]
+item = ["greater than", "or equal to, closed"]
+
+[[rewrite]]
+matches = [
+ "geqdot",
+ "geqslantdot",
+ "gesdot",
+ "gesdoto",
+ "gesdotol"
+]
+item = ["greater than", "or equal to, dotted"]
+
+[[rewrite]]
+matches = [
+ "gneq",
+ "gneqq",
+ "gvertneqq"
+]
+item = ["greater than", "but not equal to"]
+
+[[rewrite]]
+matches = "late"
+item = ["greater than", "or equal to, horizontally barred"]
+
+# ... greater-than and less-than combinations ...
+
+[[rewrite]]
+matches = "gtrless"
+item = ["greater than", "or less than"]
+
+[[rewrite]]
+matches = [
+ "gesl",
+ "gesles",
+ "gtreqless",
+ "gtreqlessslant",
+ "gtreqqless",
+ "gtreqslantless"
+]
+item = ["greater than", "or equal to or less than"]
+
+[[rewrite]]
+matches = "gtrneqqless"
+item = ["greater than", "or less than but not equal to"]
+
+[[rewrite]]
+matches = "glE"
+item = ["greater than", "or less than or equal to"]
+
+[[rewrite]]
+matches = "gla"
+item = ["greater than", "or less than"]
+
+[[rewrite]]
+matches = "glj"
+item = ["greater than", "or less than, overlapping"]
+
+# ... greater than, other variants ...
+
+[[rewrite]]
+matches = "gtcir"
+item = ["greater than", "circle"]
+
+[[rewrite]]
+matches = "gtquest"
+item = ["greater than", "question mark"]
+
+[[rewrite]]
+matches = ["gtrsim", "gtrsimslant", "apprge"]
+item = ["greater than", "or similar to"]
+
+[[rewrite]]
+matches = "gsime"
+item = ["greater than", "or similar to or equal to"]
+
+[[rewrite]]
+matches = "gsiml"
+item = ["greater than", "or similar to or less than"]
+
+[[rewrite]]
+matches = "gnsim"
+item = ["greater than", "but not similar to"]
+
+[[rewrite]]
+matches = "gtrapprox"
+item = ["greater than", "or approximately equal to"]
+
+[[rewrite]]
+matches = "gnapprox"
+item = ["greater than", "but not approximately equal to"]
+
+[[rewrite]]
+matches = "gtrarr"
+item = ["greater than", "arrow"]
+
+# ... greater than, negated ...
+
+[[rewrite]]
+matches = [
+ "ngtr",
+ "not greater than",
+ "slanted bar not greater than"
+]
+item = ["greater than", "negated"]
+
+[[rewrite]]
+matches = "ngtrdot"
+item = ["greater than", "dotted, negated"]
+
+[[rewrite]]
+matches = [
+ "ngtcc",
+ "ngtrcc",
+ "ngtrclosed"
+]
+item = ["greater than", "closed, negated"]
+
+[[rewrite]]
+matches = "ngg"
+item = ["greater than", "much, negated"]
+
+[[rewrite]]
+matches = "nggg"
+item = ["greater than", "very much, negated"]
+
+# ... greater than or equal to, negated ...
+
+[[rewrite]]
+matches = [
+ "nge",
+ "ngeq",
+ "ngeqq",
+ "ngeqslant",
+ "nvargeq",
+ "not greater than or equal",
+ "slanted bar not greater than or equal"
+]
+item = ["greater than", "or equal to, negated"]
+
+[[rewrite]]
+matches = [
+ "ngeqclosed",
+ "ngeqslcc",
+ "ngescc"
+]
+item = ["greater than", "or equal to, closed, negated"]
+
+[[rewrite]]
+matches = [
+ "ngeqdot",
+ "ngeqslantdot",
+ "ngesdot"
+]
+item = ["greater than", "or equal to, dotted, negated"]
+
+# ... greater-than and less-than combinations, negated ...
+
+[[rewrite]]
+matches = "ngtrless"
+item = ["greater than", "or less than, negated"]
+
+[[rewrite]]
+matches = [
+ "ngesl",
+ "ngtreqless",
+ "ngtreqqless",
+ "ngtreqslantless",
+ "ngtreqlessslant"
+]
+item = ["greater than", "or equal to or less than, negated"]
+
+# ... greater than, other variants, negated ...
+
+[[rewrite]]
+matches = "ngtrsim"
+item = ["greater than", "or similar to, negated"]
+
+[[rewrite]]
+matches = "ngtrapprox"
+item = ["greater than", "or approximately equal to, negated"]