update symbolic