Added `Notation` section.