Update for realsymbols and conjugate.