A LaTeX article about relational algebra as a typed calculus.