What commutative diagrams ist concerned, there are over a dozen packages to do them. There is a very fine review by Gabriel Feruglio Valiente, presented at EuroTeX 1995 in Arnhem (and to found in the proceeding). It is also available as a postscript file on the web, but I don't have the locator handy. --J"org Knappen.