Feature request TPTP Syntax short cuts

[Jean-Luc-Picard-2021]

I am very much enjoying your tree tool. What also comes handy that I can paste formulas and they are automatically converted to Unicode. For example when I paste:

a=b & p(b) & q(a) -> p(a) & q(b)

I get:

a=b ∧ p(b) ∧ q(a) → p(a) ∧ q(b)

But I wonder whether it would be possible to add => and <=> to the automatic conversion. So that:

• => is converted to →
• <=> is converted to ↔
• ! is converted to ∀
• ? is converted to ∃
• What else?

The description of the tool would then say you can also use TPTP syntax. The conversions are from TPTP syntax: http://www.tptp.org/TPTP/SyntaxBNF.html

[Jean-Luc-Picard-2021]

Superb!