In LaTeX the symbol for material implication is produced by $\to$, but for biconditional ?
I am writing some LTL (Linear Temporal Logic) statements in LaTeX and am having issues finding any packages online or information as to this can be done. Any help would be appreciated.
For example, I want to put a circle around \land, just like one can put a circle around + by writing \oplus. Is there a general method to do this?
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 ...