TeX source:

p ⊣⊢ ( p ∧ p )