ProofWiki:Sandbox

$$ \begin{matrix} z       & = & a \\ f(x,y,z) & = & x + y + z \end{matrix} $$

$$ \begin{cases} 42 \\ 24 \end{cases} $$

$$T_2$$