This morning, I discovered the LaTeX diagramming package Xy-pic. I was so impressed by the user manual, that I decided to try it out. I thought that diagramming some relations between flat, faithfully flat, and projective modules might be a fun way to learn more about this LaTeX package. The result is the image above and the corresponding pdf located here (LaTeX).