Title: Symbolic calculus