Useful symbols (we'll need some, but not all):