Definify.com

Definition 2024

⊬

⊬

⊬	U+22AC, ⊬ DOES NOT PROVE

Composition: ⊢ [U+22A2] + ̸ [U+0338]

← ⊫
[U+22AB]

Mathematical Operators

⊭ →
[U+22AD]

See also: ⊢ and ㅏ

Translingual

Symbol

⊬

(mathematics) Does not prove.