12,089
edits
Changes
Directory talk:Jon Awbrey/Papers/Differential Propositional Calculus (view source)
Revision as of 15:44, 17 May 2008
, 15:44, 17 May 2008→Work Area: sub[mathcal/lucida calligraphy]
! Type
! Type
|-
|-
| <font face="lucida calligraphy">A<font>
| <math>\mathcal{A}</math>
| {''a''<sub>1</sub>, …, ''a''<sub>''n''</sub>}
| {''a''<sub>1</sub>, …, ''a''<sub>''n''</sub>}
| Alphabet
| Alphabet
| ''A''
| ''A''
|
|
〈<font face="lucida calligraphy">A</font>〉<br>
〈<math>\mathcal{A}</math>〉<br>
〈''a''<sub>1</sub>, …, ''a''<sub>''n''</sub>〉<br>
〈''a''<sub>1</sub>, …, ''a''<sub>''n''</sub>〉<br>
{‹''a''<sub>1</sub>, …, ''a''<sub>''n''</sub>›}<br>
{‹''a''<sub>1</sub>, …, ''a''<sub>''n''</sub>›}<br>
| ''A''<sup>•</sup>
| ''A''<sup>•</sup>
|
|
[<font face="lucida calligraphy">A</font>]<br>
[<math>\mathcal{A}</math>]<br>
(''A'', ''A''^)<br>
(''A'', ''A''^)<br>
(''A'' +→ '''B''')<br>
(''A'' +→ '''B''')<br>