Refactoring

[rlaiola]

• Refactor TRC grammar;
• Add t ∈ R and t in R as an alternative to relation predicate syntax;
• Add stub for logical operator xor;
• Modify plain version of implication operator from -> to =>;
• Modify plain version of universal quantifier operator from forAll to for all;
• Update toolbar and tooltips;
• Add naive autoreplace feature: plain to math and vice-versa;
• Update tests accordingly;

[KPMGE]

@rlaiola Great refactorings! I have only one question: Is there a XOR operator in trc? If not, would it make sense to add it here?

[rlaiola]

@rlaiola Great refactorings! I have only one question: Is there a XOR operator in trc? If not, would it make sense to add it here?

Not really mandatory but yet a relevant boolean operator. Feel free to decide.

X ⊻ Y = (X ∨ Y) ∧ (¬X ∨ ¬Y)

To be clear this operator has not been implemented/mapped in this PR, just included keywords and toolbar reference (hidden).

[KPMGE]

@rlaiola interesting! Indeed, i think it may be a useful addition. I'll map it later. Thanks!