Questions tagged [turnstile]
The turnstile tag has no usage guidance.
15
questions
2
votes
2
answers
99
views
How to define a "vnodash" command?
I would like to typeset the following sequent: A | Γ ⊢ B.
I have tried,
\documentclass{article}
\begin{document}
$A \mid \Gamma \vdash B$
\end{document}
but \mid has a much greater height that \vdash....
user316110
3
votes
3
answers
70
views
tabular: Align different symbols in the same column but different rows
I am desperately tying to align formulas appearing in the same column but different rows in a tabular environment:
The desired result should look exactly like in the above image except that I need ...
0
votes
1
answer
33
views
How to format turnstile to expand over several lines?
I saw an example in the book forallx-formal-logic, where it formats the deduction proof by expanding the turnstile over several lines while having equations above and below its 'arm'. I wonder how it ...
3
votes
0
answers
54
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,...
- 56.8k
4
votes
2
answers
233
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,763
1
vote
1
answer
276
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?
- 13
4
votes
1
answer
236
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 ...
- 610
2
votes
2
answers
2k
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
1
answer
168
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 ...
- 4,960
12
votes
1
answer
1k
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 ...
- 211k
3
votes
2
answers
412
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 ...
- 459
3
votes
2
answers
208
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}
$...
- 99
5
votes
1
answer
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 ...
- 970
16
votes
2
answers
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. ...
- 36.4k
7
votes
2
answers
4k
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 ...
- 71