operator
true if the notation has a name from the specified list and false otherwise. Replacing "=" with "!=" will reverse the results.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.