Added more symbolics.