12,080
edits
Changes
Directory:Jon Awbrey/Papers/Differential Logic : Introduction (view source)
Revision as of 16:45, 10 July 2009
, 16:45, 10 July 2009→Differential Expansions of Propositions: fix typo
| The ''difference operator'' <math>\Delta,\!</math> written here as <math>\operatorname{D}.</math>
| The ''difference operator'' <math>\Delta,\!</math> written here as <math>\operatorname{D}.</math>
|-
|-
| The ''enlargement" operator'' <math>\Epsilon,\!</math> written here as <math>\operatorname{E}.</math>
| The ''enlargement operator'' <math>\Epsilon,\!</math> written here as <math>\operatorname{E}.</math>
|}
|}