XML Schema definition for the Z family formal specification languages (Z/Object-Z/TCOZ). EBNF for dataType: dataType:=(dataType "binarySym")* unary unary:="unarySym" element | element element:= type | "(" dataType ")" infixFunctionSymbols and infixGenericSymbols added here infixFunctionSymbols and infixGenericSymbols added here infixFunctionSymbols and infixGenericSymbols added here