我正在读这篇论文(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}