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.