discussion:manual:chapter1:notation