>>808
「∃」は「存在記号」です。「有るということは有る」というのを書き換えました。