Definify.com

Definition 2024

⊢

⊢

⊢	U+22A2, ⊢ (LaTeX: `\vdash`) RIGHT TACK

← ⊡
[U+22A1]

Mathematical Operators

⊣ →
[U+22A3]

⊦	U+22A6, ⊦ ASSERTION

← ⊥
[U+22A5]

Mathematical Operators

⊧ →
[U+22A7]

See also: ⊬ and ㅏ

Translingual

Symbol

⊢

(logic) proves; it is provable
${\mathsf {PA}}\vdash \forall a\ \forall b:a+b=b+a$

Antonyms

⊬

See also

⊨