Notation used in the course