Fix typo in symbols.scrbl

Should be self explanatory, I think.