12,089
edits
Changes
Directory 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
| ''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>
|
|