⊭

See also: ⊨ and ㅑ

⊭ U+22AD, ⊭ NOT TRUE Composition: ⊨ [U+22A8] + ◌̸ [U+0338] ← ⊬ [U+22AC] Mathematical Operators ⊮ → [U+22AE]

Translingual

Symbol

⊭

1. not a logical consequence of.

Usage notes

⊭A→B, or equivalently A⊭B, means that B is not provable from A, that is, there are cases where A is true and B is false.