Tagged Questions
2
votes
1answer
67 views
prooftree from bussproofs package inside “cases” environment
I am using bussproofs package to provide some type proofs. According to bussproofs manual, it is impossible to use prooftree inside math mode. However, I would like to insert prooftree in the cases ...
4
votes
1answer
320 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 ...
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 ...
