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.


  • \box is a primitive command, with a very different purpose; perhaps you are meaning $\urcorner\mbox{(Alarm...)}$ – egreg Nov 30 '12 at 22:08
  • This line doesn't seem to work either, as it doesn't show any of the symbols. – mitchnufc Nov 30 '12 at 22:10
  • What symbols do you need? Please add a description of the intended result. – egreg Nov 30 '12 at 22:12


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

enter image description here

  • This doesn't show the box. I was already using the ams package. – mitchnufc Nov 30 '12 at 22:12
  • 1
    @mitchnufc The symbol for the logical not is rather \lnot than \urcorner. The meaning of \box is not clear to me. The parentheses are missing. – Heiko Oberdiek Nov 30 '12 at 22:22

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.