数学模式中的符号

Question

我正在尝试使用数学模式将以下内容放入 LaTeX。

  $ \urcorner \box (Alarm = On \wedge DoorControls = Enabled) $

这是一个 LTL 语句，当我插入上述内容时，除 \box 外，所有内容都会打印出来。我还收到以下错误消息。

Missing $ inserted
Leading text: $ \urcorner
Missing number, treated as zero
Leading text: $ \urcorner \box (

有人可以帮我解决这个问题吗？

谢谢

Answer 1

尝试：

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