Updates to symbolic.