[Tex/LaTex] Symbols in Math Mode

math-modesymbols

I am trying to put the following into LaTeX, using math mode.

  $ \urcorner \box (Alarm = On \wedge DoorControls = Enabled) $

This is an LTL statement, when I inserted the above everything is printed except for the \box. I also get the following error message.

Missing $ inserted
Leading text: $ \urcorner
Missing number, treated as zero
Leading text: $ \urcorner \box (

Can somebody please help me with this.

Thanks

Best Answer

Try:

\documentclass{article}
\usepackage{amsmath,amssymb}
\begin{document}
$ \lnot \square \mbox{Alarm} = \mbox{On} \wedge \mbox{DoorControls} = \mbox{Enabled}$
\end{document}

enter image description here

Related Question