TeX - LaTeX Stack Exchange is a question and answer site for users of TeX, LaTeX, ConTeXt, and related typesetting systems. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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.


share|improve this question
\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
up vote 2 down vote accepted


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

enter image description here

share|improve this answer
This doesn't show the box. I was already using the ams package. – mitchnufc Nov 30 '12 at 22:12
@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 posting your answer, you agree to the privacy policy and terms of service.

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