summaryrefslogtreecommitdiff
path: root/info/symbols/comprehensive/source/prune-idx-sets.toml
diff options
context:
space:
mode:
Diffstat (limited to 'info/symbols/comprehensive/source/prune-idx-sets.toml')
-rw-r--r--info/symbols/comprehensive/source/prune-idx-sets.toml336
1 files changed, 336 insertions, 0 deletions
diff --git a/info/symbols/comprehensive/source/prune-idx-sets.toml b/info/symbols/comprehensive/source/prune-idx-sets.toml
new file mode 100644
index 0000000000..f792343e05
--- /dev/null
+++ b/info/symbols/comprehensive/source/prune-idx-sets.toml
@@ -0,0 +1,336 @@
+###############################################################
+# Rewrite entries for all subsets to put them under "subset". #
+# Author: Scott Pakin <scott+clsl@pakin.org> #
+###############################################################
+
+# ------------------------------ subsets -------------------------------
+
+# ... regular ...
+
+# This rule must appear first in this section.
+[[rewrite]]
+matches = "subsets"
+render_matches = ""
+item = "subset"
+
+[[rewrite]]
+render_contains = '(\Sbset)'
+item = ["subset", "ordinary"]
+
+[[rewrite]]
+matches = ["subset", "strict subset"]
+item = ["subset", "strict"]
+
+[[rewrite]]
+matches = "subseteq"
+item = ["subset", "ordinary"]
+
+[[rewrite]]
+matches = "subseteqq"
+item = ["subset", "ordinary"]
+
+[[rewrite]]
+matches = ["subsetneq", "varsubsetneq"]
+item = ["subset", "proper"]
+
+[[rewrite]]
+matches = ["subsetneqq", "varsubsetneqq"]
+item = ["subset", "proper"]
+
+[[rewrite]]
+matches = "subsetdot"
+item = ["subset", "dotted, strict"]
+
+[[rewrite]]
+matches = "subedot"
+item = ["subset", "dotted"]
+
+[[rewrite]]
+matches = "subsetplus"
+item = ["subset", "plus, strict"]
+
+[[rewrite]]
+matches = "submult"
+item = ["subset", "times, strict"]
+
+[[rewrite]]
+matches = "subrarr"
+item = ["subset", "right arrow, strict"]
+
+[[rewrite]]
+matches = "subsetpluseq"
+item = ["subset", "plus"]
+
+[[rewrite]]
+matches = "subsetcirc"
+item = ["subset", "circle, strict"]
+
+[[rewrite]]
+matches = "subsetapprox"
+item = ["subset", "approximately equal to"]
+
+[[rewrite]]
+matches = "subsim"
+item = ["subset", "similar to"]
+
+[[rewrite]]
+matches = "subsub"
+item = ["subset", "atop subset"]
+
+[[rewrite]]
+matches = "subsup"
+item = ["subset", "atop superset"]
+
+[[rewrite]]
+matches = ["Subset", "strict finite subset"]
+item = ["subset", "finite, strict"]
+
+[[rewrite]]
+matches = "finite subset"
+item = ["subset", "finite"]
+
+[[rewrite]]
+matches = "leftarrowsubset"
+item = ["subset", "left arrow, strict"]
+
+[[rewrite]]
+matches = "bsolhsub"
+item = ["subset", "backslash"]
+
+[[rewrite]]
+matches = "csub"
+item = ["subset", "closed, strict"]
+
+[[rewrite]]
+matches = "csube"
+item = ["subset", "closed"]
+
+# ... negated ...
+
+[[rewrite]]
+matches = ["nsubseteq", "nsubseteqq", "subset negated"]
+item = ["subset", "ordinary, negated"]
+
+[[rewrite]]
+matches = ["nsubset", "strict subset negated"]
+item = ["subset", "strict, negated"]
+
+[[rewrite]]
+matches = ["nSubset", "strict finite subset negated"]
+item = ["subset", "finite, negated strict"]
+
+[[rewrite]]
+matches = "finite subset negated"
+item = ["subset", "negated finite"]
+
+# --------------------------- square subsets ---------------------------
+
+# ... regular ...
+
+[[rewrite]]
+matches = ["sqsubset", "strict subbunch", "strict submap"]
+item = ["subset", "strict square"]
+
+[[rewrite]]
+matches = ["sqsubseteq", "sqsubseteqq", "subbunch", "submap"]
+item = ["subset", "square"]
+
+[[rewrite]]
+matches = ["sqsubsetneq", "varsqsubsetneq"]
+item = ["subset", "proper square"]
+
+[[rewrite]]
+matches = ["sqsubsetneqq", "varsqsubsetneqq"]
+item = ["subset", "proper square"]
+
+[[rewrite]]
+matches = "weak subbunch"
+item = ["subset", "dotted square"]
+
+[[rewrite]]
+matches = "strict weak subbunch"
+item = ["subset", "dotted square, strict"]
+
+# ... negated ...
+
+[[rewrite]]
+matches = ["nsqsubseteq", "nsqsubseteqq", "subbunch negated", "submap negated"]
+item = ["subset", "square, negated"]
+
+[[rewrite]]
+matches = ["nsqsubset", "strict subbunch negated", "strict submap negated"]
+item = ["subset", "strict square, negated"]
+
+[[rewrite]]
+matches = ["Sqsubset", "sqSubset"]
+item = ["subset", "finite, strict square"]
+
+[[rewrite]]
+matches = ["nSqsubset", "nsqSubset"]
+item = ["subset", "finite square, negated strict"]
+
+[[rewrite]]
+matches = "weak subbunch negated"
+item = ["subset", "dotted square, negated"]
+
+[[rewrite]]
+matches = "strict weak subbunch negated"
+item = ["subset", "dotted square, negated strict"]
+
+# ------------------------------ supersets -------------------------------
+
+# ... regular ...
+
+# This rule must appear first in this section.
+[[rewrite]]
+matches = "supersets"
+render_matches = ""
+item = "superset"
+
+[[rewrite]]
+matches = "supset"
+item = ["superset", "strict"]
+
+[[rewrite]]
+matches = "supseteq"
+item = ["superset", "ordinary"]
+
+[[rewrite]]
+matches = "supseteqq"
+item = ["superset", "ordinary"]
+
+[[rewrite]]
+matches = ["supsetneq", "varsupsetneq"]
+item = ["superset", "proper"]
+
+[[rewrite]]
+matches = ["supsetneqq", "varsupsetneqq"]
+item = ["superset", "proper"]
+
+[[rewrite]]
+matches = "supsetdot"
+item = ["superset", "dotted, strict"]
+
+[[rewrite]]
+matches = "supedot"
+item = ["superset", "dotted"]
+
+[[rewrite]]
+matches = "supsetplus"
+item = ["superset", "plus, strict"]
+
+[[rewrite]]
+matches = "supmult"
+item = ["superset", "times, strict"]
+
+[[rewrite]]
+matches = "suplarr"
+item = ["superset", "left arrow, strict"]
+
+[[rewrite]]
+render_contains = "STIXrightarrowsupset"
+item = ["superset", "right arrow, strict"]
+
+[[rewrite]]
+matches = "supsetpluseq"
+item = ["superset", "plus"]
+
+[[rewrite]]
+matches = "supsetcirc"
+item = ["superset", "circle, strict"]
+
+[[rewrite]]
+matches = "supsetapprox"
+item = ["superset", "approximately equal to"]
+
+[[rewrite]]
+matches = "supsim"
+item = ["superset", "similar to"]
+
+[[rewrite]]
+matches = "supsub"
+item = ["superset", "atop subset"]
+
+[[rewrite]]
+matches = "supsup"
+item = ["superset", "atop superset"]
+
+[[rewrite]]
+matches = "Supset"
+item = ["superset", "finite, strict"]
+
+[[rewrite]]
+matches = "suphsol"
+item = ["superset", "solidus"]
+
+[[rewrite]]
+matches = "suphsub"
+item = ["superset", "subset"]
+
+[[rewrite]]
+matches = "supdsub"
+item = ["superset", "subset dash"]
+
+[[rewrite]]
+matches = "csup"
+item = ["supset", "closed, strict"]
+
+[[rewrite]]
+matches = "csupe"
+item = ["supset", "closed"]
+
+# ... negated ...
+
+[[rewrite]]
+matches = ["nsupseteq", "nsupseteqq"]
+item = ["superset", "ordinary, negated"]
+
+[[rewrite]]
+matches = "nsupset"
+item = ["superset", "strict, negated"]
+
+[[rewrite]]
+matches = "nSupset"
+item = ["superset", "finite, negated strict"]
+
+# -------------------------- square supersets --------------------------
+
+# ... regular ...
+
+[[rewrite]]
+matches = "sqsupset"
+item = ["superset", "strict square"]
+
+[[rewrite]]
+matches = "sqsupseteq"
+item = ["superset", "square"]
+
+[[rewrite]]
+matches = "sqsupseteqq"
+item = ["superset", "square"]
+
+[[rewrite]]
+matches = ["sqsupsetneq", "varsqsupsetneq"]
+item = ["superset", "proper square"]
+
+[[rewrite]]
+matches = ["sqsupsetneqq", "varsqsupsetneqq"]
+item = ["superset", "proper square"]
+
+[[rewrite]]
+matches = ["Sqsupset", "sqSupset"]
+item = ["superset", "finite, strict square"]
+
+# ... negated ...
+
+[[rewrite]]
+matches = ["nSqsupset", "nsqSupset"]
+item = ["superset", "finite square, negated strict"]
+
+[[rewrite]]
+matches = "nsqsupset"
+item = ["superset", "strict square, negated"]
+
+[[rewrite]]
+matches = ["nsqsupseteq", "nsqsupseteqq"]
+item = ["superset", "square, negated"]