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

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .