と思ったけど∃と∋の記号を書き間違えてるだけか