← Proofs in LaTeX - actual.world