#DifferentialPropositionalCalculus • 2.3
• https://inquiryintoinquiry.com/2020/02/22/differential-propositional-calculus-2/

All other #PropositionalConnectives can be expressed in terms of the above 2 forms. The concatenation form is dispensable in terms of the bracket form but useful to maintain as an abbreviation for more complicated bracket expressions.

In contexts where parentheses are needed for other purposes “teletype” parentheses \(\texttt{(} \ldots \texttt{)}\) or barred parentheses \( (\!| \ldots |\!) \) may be used for logical operators.