L. Alcock and M. Inglis, “Visual Considerations in the Presentation of Mathematical Proofs”, seminar, vol. 6, no. 1, Nov. 2010.