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, 2012 at 22:08
  • This line doesn't seem to work either, as it doesn't show any of the symbols.
    – mitchnufc
    Nov 30, 2012 at 22:10
  • What symbols do you need? Please add a description of the intended result.
    – egreg
    Nov 30, 2012 at 22:12

1 Answer 1



$ \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, 2012 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. Nov 30, 2012 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.