排版微积分语法

Question

我正在尝试排版描述应用 π 微积分所需的语法。结果应该看起来与下面附加的示例有些相似，尤其是关于右侧文本的对齐。

对我来说，这似乎不能直接用语法包来解决。虽然我确信这是可以使用的包，但尽管阅读了文档，我还是不知道如何排版这样的布局。语法环境似乎相当严格。因此，任何想法都非常感谢。

Answer 1

这似乎复制了你的例子：

\documentclass{article}
\usepackage{mathtools,array}

\newenvironment{grammar}[2]
 {\begin{tabular}{@{\qquad}>{$}l<{$}@{\qquad}l@{}}
  \multicolumn{1}{@{}l@{}}{$#1$}&\multicolumn{1}{l@{}}{\hspace{-2em}#2}\\}
 {\end{tabular}}

\begin{document}

\begin{grammar}{P,Q,R\Coloneqq}{processes (or plain processes)}
\mathbf{0}                        & null process \\
P\mid Q                           & parallel composition \\
!P                                & replication \\
\nu n.P                           & name restriction (``new'') \\
\text{if $M=N$ then $P$ else $Q$} & conditional \\
u(x).P                            & message input \\
\bar{u}(N).P                      & message output
\end{grammar}

\end{document}