12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Tuesday April 15, 2025
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Functional Logic : Inquiry and Analogy (view source)
Revision as of 22:06, 16 November 2009
, 22:06, 16 November 2009→Umpire Operators: use \texttt typeface for logical ops
Line 536:
Line 536:
| <math>\Upsilon (e, f) = 1_\mathbb{B}</math>
| <math>\Upsilon (e, f) = 1_\mathbb{B}</math>
| <math>\Leftrightarrow</math>
| <math>\Leftrightarrow</math>
−| <math>\underline{(e (f))} = 1_{X \to \mathbb{B}}.</math>
+| <math>\texttt{(} e \texttt{(} f \texttt{))} = 1_{X \to \mathbb{B}}</math>
|}
|}
