diff options
Diffstat (limited to 'Master/texmf-dist/doc/latex/comprehensive/source/prune-idx-turnstiles.toml')
-rw-r--r-- | Master/texmf-dist/doc/latex/comprehensive/source/prune-idx-turnstiles.toml | 685 |
1 files changed, 685 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/latex/comprehensive/source/prune-idx-turnstiles.toml b/Master/texmf-dist/doc/latex/comprehensive/source/prune-idx-turnstiles.toml new file mode 100644 index 00000000000..c0b169fcee2 --- /dev/null +++ b/Master/texmf-dist/doc/latex/comprehensive/source/prune-idx-turnstiles.toml @@ -0,0 +1,685 @@ +############################################## +# Categorize turnstiles. # +# Author: Scott Pakin <scott+clsl@pakin.org> # +############################################## + +# 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"] |