Title: A pocket map of algebraic manipulation