TeX source:

p ⊣⊢ ( p ∨ p )