
I was curious about the diagrammatic magic of @YaakovBaruch's recent comment, and so clicked on the relevant diagram and viewed its TeX source.
This source turned out to use a macro \x which, I assume, was defined earlier in the comment. In this case, I think that I can find the definitions in t...