##############################################
# Categorize wedges and vees. #
# Author: Scott Pakin <
[email protected]> #
##############################################
# ------------------------------- 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"]
