12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Tuesday April 08, 2025
Jump to navigationJump to searchDirectory talk:Jon Awbrey/Papers/Differential Propositional Calculus (view source)
Revision as of 22:14, 17 May 2008
, 22:14, 17 May 2008→Work Area: HTML --> TeX
Line 1,441:
Line 1,441:
[<math>\mathcal{A}</math>]<br>+
| ''A''<sup>•</sup>
| ''A''<sup>•</sup>
|
|
−<math>[ \mathcal{A} ]</math><br>
−(''A'', ''A''^)<br>
+<math>(A, A\!\uparrow)</math><br>
−(''A'' +→ '''B''')<br>
+<math>(A\ +\!\to \mathbb{B})</math><br>
−(''A'', (''A'' → '''B'''))<br>
+<math>(A, (A \to \mathbb{B}))</math><br>
<math>[ a_1, \ldots, a_n ]</math>
<math>[ a_1, \ldots, a_n ]</math>
|
|
