Take the 2-minute tour ×
TeX - LaTeX Stack Exchange is a question and answer site for users of TeX, LaTeX, ConTeXt, and related typesetting systems. It's 100% free, no registration required.

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.

Thanks

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
add comment

1 Answer

up vote 2 down vote accepted

Try:

\documentclass{article}
\usepackage{amsmath,amssymb}
\begin{document}
$ \lnot \square \mbox{Alarm} = \mbox{On} \wedge \mbox{DoorControls} = \mbox{Enabled}$
\end{document}

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
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
add comment

Your Answer

 
discard

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.