8.7.12 Operators