An alternative syntax for XSLT