Questions tagged [turnstile]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
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 ...