Describe symbolics/erf here.