Namespace-aware XML parser written in TeX