trueif the notation has a name from the specified list and
falseotherwise. Replacing "=" with "!=" will reverse the results.
notation (= | !=) (notation-name | notation-name-list)
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.