12,080
edits
Changes
Directory talk:Jon Awbrey/Papers/Differential Logic : Introduction (view source)
Revision as of 16:00, 2 July 2009
, 16:00, 2 July 2009→Tables: spacing
<math>\begin{matrix}
<math>\begin{matrix}
a ~\operatorname{implies}~ b
a ~\operatorname{implies}~ b
\\
\\[6pt]
\operatorname{if}~ a ~\operatorname{then}~ b
\operatorname{if}~ a ~\operatorname{then}~ b
\end{matrix}</math>
\end{matrix}</math>