changes in notation and documentation