I am trying to write the following equation for my paper. I am familiar with using big braces, but I am not sure how to write multiple lines within the braces as in the image attached. The following gives me the left side and the huge braces:

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

  • 3
    You can insert array after the brace. Or aligned if you want to align something.
    – Sigur
    Feb 12, 2019 at 14:05
  • As an alternative, cases is also ok (although it is not really for this purpose).
    – user156344
    Feb 12, 2019 at 14:17
  • 1
    with help of mathtool: \[t \xrightarrow{\mathcal{A}} t' \Leftrightarrow \left\{\begin{array}{l} xxx\\ yyy'\\ ...\end{array}\right. \]. i can provide an answer if you will extend provide a mwe with your equation.
    – Zarko
    Feb 12, 2019 at 14:18
  • @JouleV Please provide a complete answer, I do not get you Feb 12, 2019 at 15:53
  • @Zarko I have provided a MWE in my question Feb 12, 2019 at 15:53

2 Answers 2


Summarising everything (had some free-time) ;-).

$   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,\\

you will get:

enter image description here

  • 3
    should stick that in display math
    – JPi
    Feb 12, 2019 at 15:14
  • @JPi I decided to let the OP do that ;) Feb 12, 2019 at 16:06
  • @Raaja This works for me. Feb 13, 2019 at 5:29

Summarizing the above comments, you can try

a \iff b \iff
c = d\\
e = f

enter image description here

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .