Describe symbolics/integration/examples here.