README explanation of notation