Material equivalence and tautological entailment.
A. J. Dale · Notre Dame Journal of Formal Logic · 1982
The introduction of any new device into the symbolism of logic is necessarily a momentous event.In logic a new device should not be introduced in brackets or in a footnote with what one might call a completely innocent air.(Tractatus, 5.452)