4 Notation
4.1 XPath
This part of ISO/IEC 19757 uses XPath to identify information items in Schematron schemas.
4.2 Predicate Logic
This part of ISO/IEC 19757 uses predicate logic to express the semantics of Schematron schema. The following symbols are defined for use in s6.3:
— ()
Grouping delimiters
— ∀
"for all". Prefix operator.
— ¬
"not". Prefix operator.
— ∈
"is member of", in set operative sense. Prefix operator.
— ,
"and" (sequence). Infix operator.
— :
"where". Such that. Infix operator.
— ⇔
"if and only if". Infix operator.
 Previous First Next