File:Empty_set_symbol.svg loading ...