Pure notation