RFC: Notation for slicing