[texhax] Bracketed options in inferences
Aaron Gray
aaronngray.lists at gmail.com
Tue Nov 5 18:50:00 CET 2013
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>
More information about the texhax
mailing list