Added type alias ∨ for \/