Definition of (|||).