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 ==, ¬, , , ,, , ), 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]