Symbol

As per Practical foundations for programming languages's terminology, an index to the families of operators. Given an Indexed operator $o$ and a symbol $u$, $o[u]$ is an operator.