might as well be more complete like the class notes (for reserved symbols)...