如何排版语法？

Question

我怎样才能排版如下的内容：

它类似于 BNF 语法，但比终端符号更具数学符号。此外，我希望在它旁边有相同的文本描述列。

我不知道从哪里开始，有没有这方面的软件包？

Answer 1

\documentclass[12pt]{article}
\usepackage{array}
\begin{document}
    \begin{tabular}{ccp{2cm}p{4cm}}
        $\ell$  &   ::=     &       &   \textbf{Locations} \\
            &   $\vert$         &   $\tilde{\ell}$  &   abstract location \\
            &   $\vert$         &   $\ell_j$    &   concrete location \\
             
    \end{tabular}
\end{document}