summaryrefslogtreecommitdiff
path: root/info/symbols/comprehensive/source/prune-idx-prec-succ.toml
diff options
context:
space:
mode:
Diffstat (limited to 'info/symbols/comprehensive/source/prune-idx-prec-succ.toml')
-rw-r--r--info/symbols/comprehensive/source/prune-idx-prec-succ.toml148
1 files changed, 148 insertions, 0 deletions
diff --git a/info/symbols/comprehensive/source/prune-idx-prec-succ.toml b/info/symbols/comprehensive/source/prune-idx-prec-succ.toml
new file mode 100644
index 0000000000..ae56ea68e5
--- /dev/null
+++ b/info/symbols/comprehensive/source/prune-idx-prec-succ.toml
@@ -0,0 +1,148 @@
+##############################################
+# Categorize precedes and succeeds symbols. #
+# Author: Scott Pakin <scott+clsl@pakin.org> #
+##############################################
+
+# ------------------------------ precedes ------------------------------
+
+# ... regular ...
+
+[[rewrite]]
+matches = "prec"
+item = "precedes"
+
+[[rewrite]]
+matches = "precsim"
+item = ["precedes", "or similar to"]
+
+[[rewrite]]
+matches = "precnsim"
+item = ["precedes", "or not similar to"]
+
+[[rewrite]]
+matches = "closedprec"
+item = ["precedes", "closed"]
+
+[[rewrite]]
+matches = ["llcurly", "Prec"]
+item = ["precedes", "double"]
+
+[[rewrite]]
+matches = "precapprox"
+item = ["precedes", "or approximately equal to"]
+
+[[rewrite]]
+matches = "precnapprox"
+item = ["precedes", "or not approximately equal to"]
+
+[[rewrite]]
+matches = [
+ "preccurlyeq",
+ "preceq",
+ "preceqq",
+ "precedes or equal"
+]
+item = ["precedes", "or equal to"]
+
+[[rewrite]]
+matches = ["precneq", "precneqq"]
+item = ["precedes", "or not equal to"]
+
+[[rewrite]]
+matches = "prurel"
+item = ["precedes", "under relation"]
+
+# ... negated ...
+
+[[rewrite]]
+matches = ["nprec", "not precedes"]
+item = ["precedes", "negated"]
+
+[[rewrite]]
+matches = "nprecsim"
+item = ["precedes", "or similar to, negated"]
+
+[[rewrite]]
+matches = "nprecapprox"
+item = ["precedes", "or approximately equal to, negated"]
+
+[[rewrite]]
+matches = [
+ "npreccurlyeq",
+ "npreceq",
+ "npreceqq",
+ "not precedes or equal"
+]
+item = ["precedes", "or equal to, negated"]
+
+# ------------------------------ succeeds ------------------------------
+
+# ... regular ...
+
+[[rewrite]]
+matches = "succ"
+item = "succeeds"
+
+[[rewrite]]
+matches = "succsim"
+item = ["succeeds", "or similar to"]
+
+[[rewrite]]
+matches = "succnsim"
+item = ["succeeds", "or not similar to"]
+
+[[rewrite]]
+matches = "closedsucc"
+item = ["succeeds", "closed"]
+
+[[rewrite]]
+matches = ["ggcurly", "Succ"]
+item = ["succeeds", "double"]
+
+[[rewrite]]
+matches = "succapprox"
+item = ["succeeds", "or approximately equal to"]
+
+[[rewrite]]
+matches = "succnapprox"
+item = ["succeeds", "or not approximately equal to"]
+
+[[rewrite]]
+matches = [
+ "succcurlyeq",
+ "succeq",
+ "succeqq",
+ "succeeds or equal"
+]
+item = ["succeeds", "or equal to"]
+
+[[rewrite]]
+matches = ["succneq", "succneqq"]
+item = ["succeeds", "or not equal to"]
+
+[[rewrite]]
+matches = "scurel"
+item = ["succeeds", "under relation"]
+
+# ... negated ...
+
+[[rewrite]]
+matches = ["nsucc", "not succeeds"]
+item = ["succeeds", "negated"]
+
+[[rewrite]]
+matches = "nsuccsim"
+item = ["succeeds", "or similar to, negated"]
+
+[[rewrite]]
+matches = "nsuccapprox"
+item = ["succeeds", "or approximately equal to, negated"]
+
+[[rewrite]]
+matches = [
+ "nsucccurlyeq",
+ "nsucceq",
+ "nsucceqq",
+ "not succeeds or equal"
+]
+item = ["succeeds", "or equal to, negated"]