The notation_exists function returns 1 (True) if the notation named name is a valid notation in the current document. If the notation is not declared, 0 is returned.

The doc argument specifies the identifier of the document tree to query. If omitted or 0, the current document is used.