add alpha & beta
Add ⊧ = \vDash