A bit of notation