XML? It's not very hard to parse texts for the necessarily present section titles. Codification of legalese and logical formulas on the other hand would not really be facilitated by xml, unless I miss something because I never used it.