No, that is just as bad.
It's not about them using XML, it's about incorporating the worst aspects of XML culture by making everything overly abstract and unreadable. This problem persists in the JSON representation.
I agree with the other comment that it would have been better to look at e.g. theorem provers or maybe even at something like Mathematica.
I agree with the other comment that it would have been better to look at e.g. theorem provers or maybe even at something like Mathematica.