changes up to "notation" subsection