Infix Notation

languages

Definition

Infix Notation

Infix notation is a notation for expressions of a term languages where the operators are placed between the terms.

Example:

$$a\wedge b$$

where $a,b$ are terms and $\wedge /2$ is an operator.

The infix notation is primarily used for operators.