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 '19 at 14:05
  • As an alternative, cases is also ok (although it is not really for this purpose). – user156344 Feb 12 '19 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 '19 at 14:18
  • @JouleV Please provide a complete answer, I do not get you – GermanShepherd Feb 12 '19 at 15:53
  • @Zarko I have provided a MWE in my question – GermanShepherd Feb 12 '19 at 15:53

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 '19 at 15:14
  • @JPi I decided to let the OP do that ;) – Raaja Feb 12 '19 at 16:06
  • @Raaja This works for me. – GermanShepherd Feb 13 '19 at 5:29

Summarizing the above comments, you can try

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

enter image description here

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.