operator
notation (= | !=) (notation-name | notation-name-list)
The notation =
test returns true if its name is one of those given as the notation-name or given in the notation-name-list. The notation-names must be either constant quoted strings or OmniMark names.