12,080
edits
Changes
Directory:Jon Awbrey/Papers/Functional Logic : Inquiry and Analogy (view source)
Revision as of 19:06, 17 November 2009
, 19:06, 17 November 2009→Measure for Measure: {matrix} ---> {array}{rclrrrrr}
{| align="center" cellpadding="8"
{| align="center" cellpadding="8"
|
|
<math>\begin{matrix}
<math>\begin{array}{rclrrrrr}
\alpha_0 f = 1
\alpha_0 f = 1
& \text{iff} &
& \text{iff} &
\beta_{15} f = 1
\beta_{15} f = 1
& \text{for all}~ f.
& \text{for all}~ f.
\end{matrix}</math>
\end{array}</math>
|}
|}