論理記号の一覧
U+22A8 ⊨ true の否定。