##############################################
# Categorize turnstiles.                     #
# Author: Scott Pakin <[email protected]> #
##############################################

# Regular turnstiles
# ------------------

# ... single bar, single dash ...

[[rewrite]]
matches = [
   "assert",
   "assertion",
   "vdash",
   "rightassert",
   "rightvdash",
   "shortrighttack"
]
item = ["turnstile", "right"]

[[rewrite]]
matches = [
   "dashv",
   "leftassert",
   "leftvdash",
   "shortlefttack"
]
item = ["turnstile", "left"]

[[rewrite]]
matches = [
   "upvdash",
   "upassert",
   "shortuptack",
   "perp",
   "bot",
   "bigbot",
   "lattice bottom"
]
not_render_contains = ["Perp", '\CMLLBot']
item = ["turnstile", "up"]

[[rewrite]]
matches = [
   "downvdash",
   "downassert",
   "shortdowntack",
   "top",
   "bigtop",
   "lattice top"
]
item = ["turnstile", "down"]

[[rewrite]]
matches = "nevdash"
item = ["turnstile", "northeast"]

[[rewrite]]
matches = "nwvdash"
item = ["turnstile", "northwest"]

[[rewrite]]
matches = "sevdash"
item = ["turnstile", "southeast"]

[[rewrite]]
matches = "swvdash"
item = ["turnstile", "southwest"]

[[rewrite]]
matches = "vBarv"
item = ["turnstile", "up over down"]

[[rewrite]]
matches = "perps"
item = ["turnstile", "up, with s"]

# This rule should precede the generic "Perp" rule below.
[[rewrite]]
render_contains = [
   '\SimPerp',
   '\simperp',
   '\simbot'
]
item = ["turnstile", "wavy bar, up"]

# ... single bar, long single dash ...

[[rewrite]]
matches = [
   "vlongdash",
   "longleftfootline"
]
item = ["turnstile", "right, long"]

[[rewrite]]
matches = [
   "longdashv",
   "longrightfootline"
]
item = ["turnstile", "left, long"]

[[rewrite]]
matches = "wavy turnstile"
item = ["turnstile", "wavy dash, right"]

# ... short single bar, single dash ...

[[rewrite]]
matches = "leftfootline"
item = ["turnstile", "short bar, right"]

[[rewrite]]
matches = "rightfootline"
item = ["turnstile", "short bar, left"]

[[rewrite]]
matches = "upfootline"
item = ["turnstile", "short bar, down"]

[[rewrite]]
matches = "topcir"
item = ["turnstile", "short bar, down, ring below"]

[[rewrite]]
matches = "downfootline"
item = ["turnstile", "short bar, up"]

[[rewrite]]
matches = "cirbot"
item = ["turnstile", "short bar, up, ring above"]

[[rewrite]]
matches = "nefootline"
item = ["turnstile", "short bar, southwest"]

[[rewrite]]
matches = "nwfootline"
item = ["turnstile", "short bar, southeast"]

[[rewrite]]
matches = "sefootline"
item = ["turnstile", "short bar, northwest"]

[[rewrite]]
matches = "swfootline"
item = ["turnstile", "short bar, northeast"]

# ... single bar, double dash ...

[[rewrite]]
matches = [
   "model",
   "models",
   "rightmodels",
   "rightvDash",
   "vDash"
]
item = ["turnstile", "double dash, right"]

[[rewrite]]
matches = [
   "leftmodels",
   "Dashv",
   "leftvDash",
   "ismodeledby"
]
item = ["turnstile", "double dash, left"]

[[rewrite]]
render_contains = '(\BSKdashV)'
item = ["turnstile", "double dash, left"]

[[rewrite]]
matches = [
   "downmodels",
   "downvDash",
   "barV"
]
item = ["turnstile", "double dash, down"]

[[rewrite]]
matches = [
   "upmodels",
   "upvDash",
   "Vbar",
   "independent"
]
item = ["turnstile", "double dash, up"]

[[rewrite]]
render_contains = ["Perp", '\CMLLBot']
item = ["turnstile", "double dash, up"]

[[rewrite]]
matches = "nemodels"
item = ["turnstile", "double dash, northeast"]

[[rewrite]]
matches = "nwmodels"
item = ["turnstile", "double dash, northwest"]

[[rewrite]]
matches = "semodels"
item = ["turnstile", "double dash, southeast"]

[[rewrite]]
matches = "swmodels"
item = ["turnstile", "double dash, southwest"]

[[rewrite]]
matches = "double wavy turnstile"
item = ["turnstile", "wavy double dash, right"]

# ... double bar, single dash ...

[[rewrite]]
matches = [
   "Assert",
   "turnstile",
   "rightVdash",
   "Vdash",
   "varVdash",
   "rightAssert"
]
item = ["turnstile", "double bar, right"]

[[rewrite]]
matches = [
   "leftVdash",
   "dashV"
]
render_not_contains = '(\BSKdashV)'
item = ["turnstile", "double bar, left"]

[[rewrite]]
render_contains = '(\BSKdashVv)'
item = ["turnstile", "double bar, left"]

[[rewrite]]
matches = "leftAssert"
item = ["turnstile", "double bar, left"]

[[rewrite]]
matches = [
   "upVdash",
   "vBar",
   "upAssert"
]
item = ["turnstile", "double bar, up"]

[[rewrite]]
matches = [
   "downVdash",
   "Barv",
   "downAssert",
   "postalmark"
]
item = ["turnstile", "double bar, down"]

[[rewrite]]
matches = "neVdash"
item = ["turnstile", "double bar, northeast"]

[[rewrite]]
matches = "nwVdash"
item = ["turnstile", "double bar, northwest"]

[[rewrite]]
matches = "seVdash"
item = ["turnstile", "double bar, southeast"]

[[rewrite]]
matches = "swVdash"
item = ["turnstile", "double bar, southwest"]

[[rewrite]]
matches = "dashVdash"
item = ["turnstile", "double bar, left and right"]

[[rewrite]]
matches = "wavy double bar turnstile"
item = ["turnstile", "double bar, wavy dash, right"]

# ... double bar, double dash ...

[[rewrite]]
matches = [
   "rightModels",
   "VDash",
   "rightVDash"
]
item = ["turnstile", "double bar, double dash, right"]

[[rewrite]]
matches = [
   "leftModels",
   "leftVDash",
   "DashV"
]
item = ["turnstile", "double bar, double dash, left"]

[[rewrite]]
matches = [
   "downModels",
   "downVDash"
]
item = ["turnstile", "double bar, double dash, down"]

[[rewrite]]
matches = [
    "upModels",
    "upVDash"
]
item = ["turnstile", "double bar, double dash, up"]

[[rewrite]]
matches = "neModels"
item = ["turnstile", "double bar, double dash, northeast"]

[[rewrite]]
matches = "nwModels"
item = ["turnstile", "double bar, double dash, northwest"]

[[rewrite]]
matches = "seModels"
item = ["turnstile", "double bar, double dash, southeast"]

[[rewrite]]
matches = "swModels"
item = ["turnstile", "double bar, double dash, southwest"]

[[rewrite]]
matches = "DashVDash"
item = ["turnstile", "double bar, double dash, left and right"]

[[rewrite]]
matches = "double wavy double bar turnstile"
item = ["turnstile", "double bar, wavy double dash, right"]

# ... triple bar, single dash ...

[[rewrite]]
matches = "Vvdash"
item = ["turnstile", "triple bar, right"]

[[rewrite]]
matches = "dashVv"
item = ["turnstile", "triple bar, left"]

# ... single bar, triple dash

[[rewrite]]
matches = [
   "vDdash",
   "triple turnstile"
]
item = ["turnstile", "triple dash, right"]

[[rewrite]]
matches = "Ddashv"
item = ["turnstile", "triple dash, left"]

# ... triple bar, double dash ...

[[rewrite]]
matches = "VvDash"
item = ["turnstile", "triple bar, double dash, right"]

# ... double bar, triple dash ...

[[rewrite]]
matches = "double bar triple turnstile"
item = ["turnstile", "double bar, triple dash, right"]


# Negated turnstiles
# ------------------

# ... single bar, single dash ...

[[rewrite]]
matches = [
   "assertion denied",
   "nassert",
   "nrightassert",
   "nvdash",
   "nrightassert",
   "nrightvdash",
   "nshortrighttack"
]
item = ["turnstile", "right, negated"]

[[rewrite]]
matches = [
   "ndashv",
   "nleftassert",
   "nleftvdash",
   "nshortlefttack"
]
item = ["turnstile", "left, negated"]

[[rewrite]]
matches = [
   "nupassert",
   "nupvdash",
   "nshortuptack",
   "notperp",
   "nperp",
   "notbot"
]
item = ["turnstile", "up, negated"]

[[rewrite]]
matches = [
   "ndownassert",
   "ndownvdash",
   "nshortdowntack",
   "nottop"
]
item = ["turnstile", "down, negated"]

[[rewrite]]
matches = "nnevdash"
item = ["turnstile", "northeast, negated"]

[[rewrite]]
matches = "nnwvdash"
item = ["turnstile", "northwest, negated"]

[[rewrite]]
matches = "nsevdash"
item = ["turnstile", "southeast, negated"]

[[rewrite]]
matches = "nswvdash"
item = ["turnstile", "southwest, negated"]

[[rewrite]]
matches = "wavy turnstile denied"
item = ["turnstile", "wavy dash, right, negated"]

# ... single bar, long single dash ...

[[rewrite]]
matches = [
   "nvlongdash",
   "nlongleftfootline"
]
item = ["turnstile", "right, long, negated"]

[[rewrite]]
matches = [
   "nlongdashv",
   "nlongrightfootline"
]
item = ["turnstile", "left, long, negated"]

# ... short single bar, single dash ...

[[rewrite]]
matches = "nleftfootline"
item = ["turnstile", "short bar, right, negated"]

[[rewrite]]
matches = "nrightfootline"
item = ["turnstile", "short bar, left, negated"]

[[rewrite]]
matches = "nupfootline"
item = ["turnstile", "short bar, down, negated"]

[[rewrite]]
matches = "ndownfootline"
item = ["turnstile", "short bar, up, negated"]

[[rewrite]]
matches = "nnefootline"
item = ["turnstile", "short bar, southwest, negated"]

[[rewrite]]
matches = "nnwfootline"
item = ["turnstile", "short bar, southeast, negated"]

[[rewrite]]
matches = "nsefootline"
item = ["turnstile", "short bar, northwest, negated"]

[[rewrite]]
matches = "nswfootline"
item = ["turnstile", "short bar, northeast, negated"]

# ... single bar, double dash ...

[[rewrite]]
matches = [
   "nmodels",
   "nrightmodels",
   "nrightvDash",
   "nvDash",
   "model denied"
]
item = ["turnstile", "double dash, right, negated"]

[[rewrite]]
matches = [
   "nleftmodels",
   "nDashv",
   "nleftvDash"
]
item = ["turnstile", "double dash, left, negated"]

[[rewrite]]
matches = [
   "ndownmodels",
   "ndownvDash",
   "nbarV"
]
item = ["turnstile", "double dash, down, negated"]

[[rewrite]]
matches = [
   "nupmodels",
   "nupvDash",
   "nVbar"
]
item = ["turnstile", "double dash, up, negated"]

[[rewrite]]
matches = "nnemodels"
item = ["turnstile", "double dash, northeast, negated"]

[[rewrite]]
matches = "nnwmodels"
item = ["turnstile", "double dash, northwest, negated"]

[[rewrite]]
matches = "nsemodels"
item = ["turnstile", "double dash, southeast, negated"]

[[rewrite]]
matches = "nswmodels"
item = ["turnstile", "double dash, southwest, negated"]

[[rewrite]]
matches = "double wavy turnstile denied"
item = ["turnstile", "wavy double dash, right, negated"]

# ... double bar, single dash ...

[[rewrite]]
matches = [
   "nAssert",
   "nrightVdash",
   "nVdash",
   "nrightAssert",
   "turnstile denied"
]
item = ["turnstile", "double bar, right, negated"]

[[rewrite]]
matches = [
   "nleftAssert",
   "ndashV",
   "nleftVdash"
]
item = ["turnstile", "double bar, left, negated"]

[[rewrite]]
matches = [
   "nupVdash",
   "nvBar",
   "nupAssert"
]
item = ["turnstile", "double bar, up, negated"]

[[rewrite]]
matches = [
   "ndownVdash",
   "nBarv",
   "ndownAssert"
]
item = ["turnstile", "double bar, down, negated"]

[[rewrite]]
matches = "nneVdash"
item = ["turnstile", "double bar, northeast, negated"]

[[rewrite]]
matches = "nnwVdash"
item = ["turnstile", "double bar, northwest, negated"]

[[rewrite]]
matches = "nseVdash"
item = ["turnstile", "double bar, southeast, negated"]

[[rewrite]]
matches = "nswVdash"
item = ["turnstile", "double bar, southwest, negated"]

[[rewrite]]
matches = "wavy double bar turnstile denied"
item = ["turnstile", "double bar, wavy dash, right, negated"]

# ... double bar, double dash ...

[[rewrite]]
matches = [
   "nrightModels",
   "nVDash",
   "nrightVDash"
]
item = ["turnstile", "double bar, double dash, right, negated"]

[[rewrite]]
matches = [
   "nleftModels",
   "nleftVDash",
   "nDashV"
]
item = ["turnstile", "double bar, double dash, left, negated"]

[[rewrite]]
matches = [
   "ndownModels",
   "ndownVDash"
]
item = ["turnstile", "double bar, double dash, down, negated"]

[[rewrite]]
matches = [
    "nupModels",
    "nupVDash"
]
item = ["turnstile", "double bar, double dash, up, negated"]

[[rewrite]]
matches = "nneModels"
item = ["turnstile", "double bar, double dash, northeast, negated"]

[[rewrite]]
matches = "nnwModels"
item = ["turnstile", "double bar, double dash, northwest, negated"]

[[rewrite]]
matches = "nseModels"
item = ["turnstile", "double bar, double dash, southeast, negated"]

[[rewrite]]
matches = "nswModels"
item = ["turnstile", "double bar, double dash, southwest, negated"]

[[rewrite]]
matches = "double wavy double bar turnstile denied"
item = ["turnstile", "double bar, wavy double dash, right, negated"]

# ... triple bar, single dash ...

[[rewrite]]
matches = ["nVvdash", "nVvash"]
item = ["turnstile", "triple bar, right, negated"]

[[rewrite]]
matches = "ndashVv"
item = ["turnstile", "triple bar, left, negated"]

# ... single bar, triple dash

[[rewrite]]
matches = [
   "nvDdash",
   "triple turnstile denied"
]
item = ["turnstile", "triple dash, right, negated"]

[[rewrite]]
matches = "nDdashv"
item = ["turnstile", "triple dash, left, negated"]

# ... double bar, triple dash ...

[[rewrite]]
matches = "double bar triple turnstile denied"
item = ["turnstile", "double bar, triple dash, right, 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.