我想写一个这样的表达式，但我以前从未见过。

Question

我想写一个跟图中差不多的表达式，但是不知道用哪个包，也不知道要写成什么样的语法，谢谢大家！

Answer 1

没有什么特殊的，可能是环境造成的verbatim：

\documentclass{article}
\begin{document}
\begin{verbatim}
expr ::
        atom                    ;; a variable identifier
        | "!" expr              ;; logical not
        | expr1 "&" expr2       ;; logical and
        | expr1 "|" expr2       ;; logical or
        | expr1 "->" expr2      ;; logical implication
        | expr1 "=" expr2       ;; logical equivalence
\end{verbatim}
\end{document}