Source code for some notes for the mathematical tripos.