[Tex/LaTex] Symbols in Math Mode


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.


Best Answer


$ \lnot \square \mbox{Alarm} = \mbox{On} \wedge \mbox{DoorControls} = \mbox{Enabled}$

enter image description here

Related Question