12,080
edits
Changes
Directory talk:Jon Awbrey/Papers/Differential Propositional Calculus (view source)
Revision as of 03:52, 22 May 2008
, 03:52, 22 May 2008→Formal development: rework tables
|-
|-
| <math>\mathfrak{A}</math>
| <math>\mathfrak{A}</math>
| <math>\{ \mathfrak{a}_1, \ldots, \mathfrak{a}_n \}</math>
| <math>\lbrace\!</math> “<math>a_1\!</math>” <math>, \ldots,\!</math> “<math>a_n\!</math>” <math>\rbrace\!</math>
| Alphabet
| Alphabet
| <math>[n] = \mathbf{n}</math>
| <math>[n] = \mathbf{n}</math>
|-
|-
| <math>\operatorname{d}\mathfrak{A}</math>
| <math>\operatorname{d}\mathfrak{A}</math>
| <math>\{ \operatorname{d}\mathfrak{a}_1, \ldots, \operatorname{d}\mathfrak{a}_n \}</math>
| <math>\lbrace\!</math> “<math>\operatorname{d}a_1</math>” <math>, \ldots,\!</math> “<math>\operatorname{d}a_n</math>” <math>\rbrace\!</math>
| Alphabet of<br>
| Alphabet of<br>
differential<br>
differential<br>