team-worthwhile/worthwhile — Issue #13: Grammar is lacking implication and equivalence
Author: bafain
Created: 2012-01-31 12:05:02+00:00
State: open

Add rules implication (tokens `=>` and `⇒`) and equivalence (tokens `<=>` and `⇔`) to the grammar, where equivalence has the lowest priority and implication the second lowest (the logical or, which has lowest priority at this time, gets third place in the operator priority list then).

Do not forget to add the respective auto edit features to the eclipse editor. The model already represents the binary functions implication and equivalence.