存在記号

条件を満たす要素が少なくとも1つ存在することを表します。