&vartriangleleft