[texhax] Bracketed options in inferences

[Aaron Gray]

Hi,

I am trying to get a left braced section to appear within an inference rule.


[image: Inline images 1]

Where the "{ C if ..." is the following is wanted :-


[image: Inline images 2]

The rules I have at present are :-

\inference
    {O, M, C \vdash e _n : T _n \,\, 0 \leqslant i \leqslant n \\
      $\[ T' _0 = \left\{
        \begin{array}{1 1}
          C \quad if \, T _0 = Self _T \\ T _0 \quad otherwise
        \end{array} \right.\] $ }
    {O, M, C \vdash e _0 . f(e _1,..., e _n) : T _{n+1}}[Dispatch]
and

\[ T' _0 = \left\{
   \begin{array}{l l}
     C & \quad {if \, T _0 = Self _T}\\
     T _0 & \quad {otherwise}
   \end{array} \right.\]
Can I do something similar in inference rules or do I have to use \over or
\frac

Many thanks in advance,

Aaron
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://tug.org/pipermail/texhax/attachments/20131105/ccfed54c/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Dispatch.png
Type: image/png
Size: 6139 bytes
Desc: not available
URL: <http://tug.org/pipermail/texhax/attachments/20131105/ccfed54c/attachment.png>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Braced.png
Type: image/png
Size: 2570 bytes
Desc: not available
URL: <http://tug.org/pipermail/texhax/attachments/20131105/ccfed54c/attachment-0001.png>