Steele does not provide a notation. Notation on DFo copy: and and