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