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).