Tagged Questions
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 ...
