Operator declarations may include attributes that provide additional
information about the operator: semantic, syntactic, pragmatic, etc.
All such attributes are declared within a single pair of enclosing square
brackets, `[' and `]', after the sort of the result and
before the ending period. We discuss each of the categories of operator
attributes below.