Greek Letter-Words
Logic.xla changes Greek letter-words to symbols.
Lower case Greek letter-words are included in the logic library. Greek letters are invoked with the Symbols command. Greek letters do not revert to Greek letter-words when the process is reversed.
|
Expressions |
Expressions Converted to Symbols |
Symbols Converted to Expressions |
|
alpha |
a |
a |
|
beta |
b |
b |
|
alpha and a |
a L a |
a and a |
Complex expressions are easily produced.
|
Expressions |
Converted to Symbols |
|
not ( forall gamma ) A ( gamma ) equivalent ( thereis gamma ) not A ( gamma ) |
~ ( " g ) A ( g ) º ( $ g ) ~ A ( g ) |
|
not ( thereis gamma ) A ( gamma ) equivalent ( forall gamma ) not A ( gamma ) |
~ ( $ g ) A ( g ) º ( " g ) ~ A ( g ) |