[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}