EMPTY SET WITH RIGHT ARROW ABOVE