Empty_set_symbol.svg