&ntriangleleft