Questions tagged [turnstile]
The turnstile tag has no usage guidance.
12
questions
3
votes
0answers
34 views
Turnstile arrow in…xy package
Following the previous question Turnstile arrow in tikz-cd, now I am curious how I can increase the left tail with the xy package. In the documentation I haven't found anything.
\documentclass[a4paper,...
4
votes
2answers
121 views
Turnstile arrow in tikz-cd
I want to produce a "turnstile" ie \vdash style arrow in tikz-cd.
I can do it with option [maps to, no head] but then the vertical bar appears too short:
\documentclass{article}
\usepackage{...
1
vote
1answer
62 views
How to draw a turnstile with an arrow?
I'd like to draw a turnstile with an arrow. It looks like what is shown in the picture. Is there any command for it?
4
votes
1answer
177 views
How to make enough space around custom turnstiles?
I use the package turnstile, but only to define my own macros because it doesn't define negated turnstiles and its turnstiles are too tall.
My non-negated turnstiles look fine to me (not as tall as ...
1
vote
2answers
783 views
Negated Turnstile?
I wonder if anyone knows how can I produce negated turnstile symbols using the turnstile package. The default option of $\vdash$ and $\nvdash$ is not ok. I want the same options the turnstile package ...
1
vote
1answer
103 views
A question on how to scale some turnstiles from the turnstile package
The edit of the accepted answer for question Symbol for skeptical consequence that matches the turnstile package gives me access to the two first turnstiles in the MWE below. I would appreciate help ...
12
votes
1answer
958 views
How to apply colour options to the contents of TikZ nodes when the content includes \sbox{}\usebox{}?
Thanks to Sašo Živanović for helping to identify the problem which arises as a result of my trying to apply options such as blue or text=blue to nodes within Forest trees which include turnstiles from ...
3
votes
2answers
345 views
Turnstile with Mathcal: missing \endcsname inserted
I was using the turnstile package and xparse package to use turnstile efficiently.
But from one point, I was keep getting an error message, and found that \not{\sdtstile{\mathcal{S}}{}} was the ...
3
votes
2answers
149 views
Ho to reduce distance between non monotonic turnstile and its subscript
\documentclass[a4paper,12pt,twoside,openright]{book}
\usepackage[T1]{fontenc}
\usepackage[utf8]{inputenc}
\usepackage[german,english,italian]{babel}
\newcommand{\nc}{\,\mid\!\sim\,}
\begin{document}
$...
5
votes
1answer
2k views
negated double turnstile
I'm new to the turnstile package, and I'm trying to figure out how to get a negated double turnstile sign, like the one with the regular \nvDash, but that allows me to have arguments above and below ...
15
votes
2answers
2k views
Symbol for skeptical consequence that matches the turnstile package
This might be seen as a follow up to Symbol for skeptical consequence. From it I got answers so that I could write that B is a skeptical consequence of A such as
which Peter Grill's code produces. ...
6
votes
2answers
3k views
Turnstile package
I am fairly new to TeX, so I may be missing something simple, but I can't seem to adjust the height of the turnstile objects produced by the turnstile package. In particular, if the symbol appears as ...
