Added documentation for ⊢ and ⊣