Operator

Type: definition

An operator is a function call. For example,
\[
  f(a,b) \equiv a \star b.
\]
We defined the $\star$ operator to be the function $f$.