如何在 LaTeX 中获取此列表布局

如何在 LaTeX 中获取此列表布局

我正在读这篇论文(https://arxiv.org/pdf/2206.03532.pdf),它似乎是从编写和生成的LaTeX,如何,您可以在中制作如下所示的内容LaTeX。我的设置:\documentclass[a4paper,svgnames,11pt]{article}三列或多列列表,我想keywords这样列出。

在此处输入图片描述

来源:

\begin{figure}[t]
  \small
\begin{synchart*}{syn}
  %
  %
  %
  \Sort{Typ} & \tau & \bnfdef & \qrefty{q}             & \blue{\qrefty{q}}                          & \text{qubit reference} \\
             &      & \bnfalt & \arrty{\tau_1}{\tau_2} & \blue{\arrty*{\blk{\tau_1}}{\blk{\tau_2}}} & \text{function} \\
             &      & \bnfalt & \cmdty{\tau}           & \blue{\cmdty*{\blk{\tau}}}                 & \text{command} \\
             &      & \bnfalt & \vprodty{\tau}         & \blue{\vprodty*{\blk{\tau_i}}}             & \text{variadic product} \\
             &      & \bnfalt & \boolty                & \blue{\boolty}                             & \text{boolean} \\
             &      & \bnfalt & \unitty                & \blue{\unitty}                             & \text{unit} \\[1ex]
  \Sort{Exp} & e & \bnfdef & x                    & x                                              & \text{variable} \\
             &   & \bnfalt & \letbnd{e_1}{x}{e_2} & \blue{\letbnd*{\blk{e_1}}{x}{\blk{e_2}}}       & \text{let binding} \\
             &   & \bnfalt & \lamex{x}{e}         & \blue{\lamex*{x}{\blk{e}}}                     & \text{function} \\
             &   & \bnfalt & \appex{e_1}{e_2}     & \blue{\appex*{\blk{e_1}}{\blk{e_2}}}           & \text{application} \\
             &   & \bnfalt & \cmdex{m}            & \blue{\cmdex*{\blk{m}}}                        & \text{encapsulated command} \\
             &   & \bnfalt & \vtupleex{e}         & \blue{\vtupleex*{\blk{e}}}                     & \text{tuple} \\
             &   & \bnfalt & \vprojex{e}          & \blue{\vprojex*{\blk{e}}}                      & \text{projection} \\
             &   & \bnfalt & \trueex              & \blue{\trueex*}                                & \text{true} \\
             &   & \bnfalt & \falseex             & \blue{\falseex*}                               & \text{false} \\
             &   & \bnfalt & \ifex{e}{e_1}{e_2}   & \blue{\ifSugar{\blk{e}}{\blk{e_1}}{\blk{e_2}}} & \text{if expression} \\
             &   & \bnfalt & \unitex              & \blue{\unitex*}                                & \text{unit} \\[1ex]
  \Sort{Cmd} & m & \bnfdef & \retcmd{e}              & \blue{\retcmd*{\blk{e}}}                    & \text{return} \\
             &   & \bnfalt & \bndcmd{e}{x}{m}        & \blue{\bndcmd*{\blk{e}}{x}{\blk{m}}}        & \text{bind} \\
             &   & \bnfalt & \newcmd{x}{m}           & \blue{\newcmd*{x}{\blk{m}}}                 & \text{new qubit reference} \\
             &   & \bnfalt & \gateap{U}{e}           & \blue{\gateap*{U}{\blk{e}}}                 & \text{gate application} \\
             &   & \bnfalt & \diagap{U}{V}{e_1}{e_2} & \blue{\diagap*{U}{V}{\blk{e_1}}{\blk{e_2}}} & \text{diagonal gate application}   \\
             &   & \bnfalt & \meascmd{e}             & \blue{\meascmd*{\blk{e}}}                   & \text{measure}
\end{synchart*}
  \caption{Abstract and concrete syntax of \core.}
  \label{fig:abssyntax}
\end{figure}

相关内容