Fix typo in defaultEnv to include amssymb

Sorry for this bad mistake making it into `master`.