"notation" subsection; separated macro file