12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Tuesday April 08, 2025
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Functional Logic : Quantification Theory (view source)
Revision as of 18:28, 18 November 2008
, 18:28, 18 November 2008no edit summary
Line 473:
Line 473:
{| cellpadding="4"
{| cellpadding="4"
−| width="36" | || ''L''<sub>01</sub> ''f''
+| width="36" | || <math>L_{01} f\!</math>
|-
|-
−| || = || ''L''<sub>"(x) y "</sub> ''f''
+| || = || <math>L_{(\!| x |\!)\ y} f</math>
|-
|-
−| || = || α<sub>2</sub> ''f''
+| || = || <math>\alpha_2 f\!</math>
|-
|-
−| || = || Υ<sub>"(x) y "</sub> ''f''
+| || = || <math>\Upsilon_{(\!| x |\!)\ y} f</math>
|-
|-
−| || = || Υ<sub>"(x) y ⇒ f"</sub>
+| || = || <math>\Upsilon_{(\!| x |\!)\ y\ \Rightarrow\ f}</math>
|-
|-
−| || = || "f likes (x) y "
+| || = || <math>f\ \operatorname{likes}\ (\!| x |\!)\ y</math>
|}
|}
