<div dir="ltr"><div>Hi,</div><div> </div><div>I am trying to get a left braced section to appear within an inference rule.</div><div> </div><div> </div><div><img alt="Inline images 1" src="cid:ii_142295ebc3df8dd4"></div><div>

 </div><div>Where the "{ C if ..." is the following is wanted :-</div><div> </div><div> </div><div><img alt="Inline images 2" src="cid:ii_142295f02c82a9e1"> </div><div> </div><div>The rules I have at present are :-</div>

<div> </div><div>\inference<br>    {O, M, C \vdash e _n : T _n \,\, 0 \leqslant i \leqslant n \\<br>      $\[ T' _0 = \left\{ <br>        \begin{array}{1 1}<br>          C \quad if \, T _0 = Self _T \\ T _0 \quad otherwise<br>

        \end{array} \right.\] $ }<br>    {O, M, C \vdash e _0 . f(e _1,..., e _n) : T _{n+1}}[Dispatch]<br></div><div>and</div><div> </div><div>\[ T' _0 = \left\{ <br>   \begin{array}{l l}<br>     C & \quad {if \, T _0 = Self _T}\\<br>

     T _0 & \quad {otherwise}<br>   \end{array} \right.\]<br></div><div>Can I do something similar in inference rules or do I have to use \over or \frac</div><div> </div><div>Many thanks in advance,</div><div> </div>
<div>
Aaron</div><div> </div></div>