Another famous formula.
Testing a classical logic ruleset.
Add the Lille set.
Use the new famous formula.
Export new symbols.