12,080
edits
Changes
Directory talk:Jon Awbrey/Papers/Differential Propositional Calculus (view source)
Revision as of 16:35, 30 May 2008
, 16:35, 30 May 2008→Table 1 : Variant 1: cleanup typos
| height="36px" | <p><math>x \lor y</math></p>
| height="36px" | <p><math>x \lor y</math></p>
|-
|-
| height="36px" | <p><math>\operatorname{true}</math></p>
| height="36px" | <p><math>1\!</math></p>
|}
|}
|}
|}