\[NotPrecedesSlantEqual]