summaryrefslogtreecommitdiff
path: root/info/symbols/comprehensive/source/prune-idx-wedges-vees.toml
diff options
context:
space:
mode:
Diffstat (limited to 'info/symbols/comprehensive/source/prune-idx-wedges-vees.toml')
-rw-r--r--info/symbols/comprehensive/source/prune-idx-wedges-vees.toml191
1 files changed, 191 insertions, 0 deletions
diff --git a/info/symbols/comprehensive/source/prune-idx-wedges-vees.toml b/info/symbols/comprehensive/source/prune-idx-wedges-vees.toml
new file mode 100644
index 0000000000..ea80982150
--- /dev/null
+++ b/info/symbols/comprehensive/source/prune-idx-wedges-vees.toml
@@ -0,0 +1,191 @@
+##############################################
+# Categorize wedges and vees. #
+# Author: Scott Pakin <scott+clsl@pakin.org> #
+##############################################
+
+# ------------------------------- wedges -------------------------------
+
+[[rewrite]]
+matches = [
+ "wedge",
+ "bigwedge",
+ "quantified conjunction",
+ "bitwise and operator/logical conjunction"
+]
+item = "wedge"
+
+[[rewrite]]
+matches = [
+ "barwedge",
+ "varbarwedge",
+ "bitwise nand operator"
+]
+item = ["wedge", "bar over"]
+
+[[rewrite]]
+matches = "midbarwedge"
+item = ["wedge", "bar through"]
+
+[[rewrite]]
+matches = "wedgemidvert"
+item = ["wedge", "vertical line through"]
+
+[[rewrite]]
+matches = "wedgebar"
+item = ["wedge", "bar under"]
+
+[[rewrite]]
+matches = ["doublebarwedge", "vardoublebarwedge"]
+item = ["wedge", "double bar over"]
+
+[[rewrite]]
+matches = "wedgedoublebar"
+item = ["wedge", "double bar under"]
+
+[[rewrite]]
+matches = ["circwedge", "bigcircwedge"]
+item = ["wedge", "circle"]
+
+[[rewrite]]
+matches = ["curlywedge", "bigcurlywedge", "varcurlywedge"]
+item = ["wedge", "curly"]
+
+[[rewrite]]
+matches = ["curlywedgedot", "bigcurlywedgedot"]
+item = ["wedge", "curly, dot"]
+
+[[rewrite]]
+matches = ["doublecurlywedge", "bigdoublecurlywedge"]
+item = ["wedge", "curly, double"]
+
+[[rewrite]]
+matches = "closedcurlywedge"
+item = ["wedge", "curly, closed"]
+
+[[rewrite]]
+matches = [
+ "doublewedge",
+ "bigdoublewedge",
+ "wedgeonwedge",
+ "conjquant",
+ "merge"
+]
+item = ["wedge", "double"]
+
+[[rewrite]]
+matches = "Wedge"
+item = ["wedge", "nested"]
+
+[[rewrite]]
+matches = ["dwedge", "bigdwedge", "wedgedot", "bigwedgedot"]
+item = ["wedge", "dot within"]
+
+[[rewrite]]
+matches = ["wedgeodot", "dotted conjunction"]
+item = ["wedge", "dot above"]
+
+[[rewrite]]
+matches = "bigslopedwedge"
+item = ["wedge", "sloped"]
+
+[[rewrite]]
+matches = "slanted bar and"
+item = ["wedge", "slanted bar"]
+
+[[rewrite]]
+matches = "slanted bar nand"
+item = ["wedge", "slanted bar, bar over"]
+
+# -------------------------------- vees --------------------------------
+
+[[rewrite]]
+matches = [
+ "vee",
+ "bigvee",
+ "quantified disjuntion", # Note spelling error.
+ "bitwise or operator/logical disjunction"
+]
+item = "vee"
+
+[[rewrite]]
+matches = [
+ "barvee",
+ "bitwise nor operator"
+]
+item = ["vee", "bar over"]
+
+[[rewrite]]
+matches = "midbarvee"
+item = ["vee", "bar through"]
+
+[[rewrite]]
+matches = "veemidvert"
+item = ["vee", "vertical line through"]
+
+[[rewrite]]
+matches = [
+ "veebar",
+ "varveebar",
+ "bitwise xor operator"
+]
+item = ["vee", "bar under"]
+
+[[rewrite]]
+matches = "doublebarvee"
+item = ["vee", "double bar over"]
+
+[[rewrite]]
+matches = "veedoublebar"
+item = ["vee", "double bar under"]
+
+[[rewrite]]
+matches = ["curlyvee", "bigcurlyvee", "varcurlyvee"]
+item = ["vee", "curly"]
+
+[[rewrite]]
+matches = ["curlyveedot", "bigcurlyveedot"]
+item = ["vee", "curly, dot"]
+
+[[rewrite]]
+matches = ["doublecurlyvee", "bigdoublecurlyvee"]
+item = ["vee", "curly, double"]
+
+[[rewrite]]
+matches = "closedcurlyvee"
+item = ["vee", "curly, closed"]
+
+[[rewrite]]
+matches = ["doublevee", "bigdoublevee", "veeonvee", "disjquant"]
+item = ["vee", "double"]
+
+[[rewrite]]
+matches = "Vee"
+item = ["vee", "nested"]
+
+[[rewrite]]
+matches = ["veedot", "bigveedot"]
+item = ["vee", "dot within"]
+
+[[rewrite]]
+matches = ["veeodot", "dotted disjunction"]
+item = ["vee", "dot above"]
+
+[[rewrite]]
+matches = "bigslopedvee"
+item = ["vee", "sloped"]
+
+[[rewrite]]
+matches = "slanted bar or"
+item = ["vee", "slanted bar"]
+
+[[rewrite]]
+matches = "slanted bar nor"
+item = ["vee", "slanted bar, bar over"]
+
+[[rewrite]]
+matches = "slanted bar xor"
+item = ["vee", "slanted bar, bar under"]
+
+[[rewrite]]
+matches = "veeonwedge"
+item = ["vee", "wedge"]