Tagged Questions
5
votes
1answer
50 views
What command to use for reversed $\vDash$?
I want to use a symbol similar to
$\vDash$
but reversed (like if it's mirrored against an imaginary vertical line). I cannot find such a symbol anywhere. I have used detexify too but no luck ...
0
votes
1answer
85 views
How do I get the single turnstyle symbol? [duplicate]
I am trying to replicate a logic symbol that looks like \models but has only one horizontal line, and represents a logical deduction. It looks roughly like |-.
I have tried Detexify, but it does not ...
18
votes
5answers
592 views
What is the LaTeX symbol for “forking independent” (model theory)?
I am looking for a way to set the symbol for "forking independent" (for example, see "Essential Stability Theory", Steven Buechler, p.217). It looks a bit like an anchor or an upside-down 'T' with a ...
4
votes
1answer
324 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
1answer
378 views
Double-nested logical-and and logical-or symbols?
I'm typesetting a bunch of source code, and I really like the way the double-nested logical-and and logical-or symbols look for denoting bitwise logical and/or.
Unfortunately, LaTeX doesn't seem to ...
9
votes
2answers
1k views
How to get monospace logic formulas?
The following does not work in LaTeX because logic symbols can only be used in maths mode:
\texttt{\forall x(\exists y((f(x)=y)\land(\neg(g(y)=y))))}
I want to do this to stress the nature of such ...
