###############################################################
# Rewrite entries for all subsets to put them under "subset". #
# Author: Scott Pakin <[email protected]>                  #
###############################################################

# ------------------------------ 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"]

You are viewing proxied material from ftp.icm.edu.pl. The copyright of proxied material belongs to its original authors. Any comments or complaints in relation to proxied material should be directed to the original authors of the content concerned. Please see the disclaimer for more details.