add symbolic stuff