The op/3 declarative is used to define operators, their position, and their proirity.
Operators are used during input and output of terms, purpose is to make terms easier to read and write.
