Add amssymb package