12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Sunday April 06, 2025
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Functional Logic : Higher Order Propositions (view source)
Revision as of 14:54, 22 November 2009
, 14:54, 22 November 2009→Measure for Measure: remove unnecessary parentheses
Line 1,508:
Line 1,508:
{| align="center" cellpadding="8"
{| align="center" cellpadding="8"
−| <math>[| \alpha_i |]</math>
+| <math>[| \alpha_{i} |]</math>
| <math>=</math>
| <math>=</math>
−| <math>(\alpha_i)^{-1}(1),</math>
+| <math>\alpha_{i}^{-1}(1),</math>
|-
|-
−| <math>[| \beta_i |]</math>
+| <math>[| \beta_{i} |]</math>
| <math>=</math>
| <math>=</math>
−| <math>(\beta_i)^{-1}(1),</math>
+| <math>\beta_{i}^{-1}(1),</math>
|-
|-
−| <math>[| \Upsilon_p |]</math>
+| <math>[| \Upsilon_{p} |]</math>
| <math>=</math>
| <math>=</math>
−| <math>(\Upsilon_p)^{-1}(1).</math>
+| <math>\Upsilon_{p}^{-1}(1).</math>
|}
|}
