带括号、多列和多行的方程式

Question

我正在写一篇论文，需要在报告中写一些类似下图的内容。有没有人能帮我在 latex 中输入这样的方程式？

Answer 1

\documentclass{article}
\usepackage{tabularray}
\UseTblrLibrary{amsmath}
\begin{document}
\begin{equation}
\operatorname{View}_{D,T,i,t}:=
\begin{+Bmatrix}[colspec={cr},cell{1}{1}={r=4}{}]
q,c,x: & pk,sk\leftarrow\operatorname{KeyGen}(1^\lambda) \\
       & q\leftarrow\operatorname{Query}(pk,i,t)         \\
       & c\leftarrow\operatorname{Respond}(D,T,q)        \\
       & x\leftarrow\operatorname{Extract}(sk,r)         \\
\end{+Bmatrix}
\end{equation}
\end{document}

Answer 2

我建议你使用aligned环境来排版四行列向量。你也可以使用环境array，但内容将以文本样式而不是显示样式的数学形式排版，并且行间距会明显缩小。

要生成:=字形，您可以使用包\coloneqq提供的宏mathtools。

\documentclass{article}
\usepackage{mathtools} % for '\coloneqq' macro
\newcommand\vn[1]{\mathrm{#1}} % to typeset variable names

\begin{document}
\[
\vn{View}^{}_{D,T,i,t} \coloneqq
\left\{
q,c,x\colon
\begin{aligned}
  pk,sk\gets\vn{KeyGen}(1^{\lambda}) \\
  q \gets \vn{Query}(pk,i,t) \\
  c \gets \vn{Respond}(D,T,q) \\
  x \gets \vn{Extract}(sk,r)
\end{aligned}
\right\}
\]
\end{document}