The Reasoning Operators ⇒ and ⇔

`rArr` and `hArr` are not propositional operators

We must — and can — and do — have U`hArr`F