Add the \!> operator, the \!&> operator and the distinct function