EMPTY SET WITH RIGHT ARROW ABOVE

Add a description of EMPTY SET WITH RIGHT ARROW ABOVE