如何写出下列等式

如何写出下列等式

我正在尝试为我的论文写出以下等式。我熟悉使用大括号,但我不知道如何在括号内写多行,如附图所示。以下是左侧和大括号:

$t\rightarrow_{A}t' \iff \Bigg\{ \exists C$ 图像

答案1

总结一切(有一些空闲时间);-)

\documentclass[10pt,a4paper]{article}
\usepackage{amsmath}
\begin{document}
$   t\xrightarrow[\mathcal{A}]{} t'\Leftrightarrow\begin{cases}
\exists C\in\mathcal{C}(\mathcal{F}\cup Q),\exists u_1,\ldots,u_n\in T(\mathcal{F}),\\
\exists f(q_1(x_1),\ldots,q_n(x_n))\rightarrow q(f(x_1,\ldots,x_n))\in\Delta,\\
t=C[f(q_1(u_1),\ldots,q_n(u_n))],\\
t'=C[q(f(u_1,\ldots,u_n))].
\end{cases}$        
\end{document}

你会得到:

在此处输入图片描述

答案2

总结以上评论,你可以尝试

\documentclass[12pt]{article}
\usepackage{amsmath}
\begin{document}
\begin{equation*}
a \iff b \iff
\begin{cases}
c = d\\
e = f
\end{cases}
\end{equation*}
\end{document} 

在此处输入图片描述

相关内容