12,080
edits
Changes
Directory: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
| <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>
|}
|}