manual -- explain more notation on page 9, thx John Honig