Text this: Proofs without words