Added TeX source of the pocket map of algebraic manipulation.