Chapter 12: The Principle of Computational Equivalence

Section 9: Implications for Mathematics and Its Foundations

Notations [for logical primitives]

Among those in current use are (highlighted ones are supported directly in Mathematica):

The grouping of terms is normally inferred from precedence of operators (typically ordered ==, \[Not], \[Nand], \[And], \[Xor],\[Nor], \[Or], \[Implies]), or explicitly indicated by parentheses, function brackets, or sometimes nested underbars or dots. So-called Polish notation given second-to-last above avoids all explicit delimiters (see page 896).

From Stephen Wolfram: A New Kind of Science [citation]