Added type alias ∨ for
Merge pull request #689 from maxpow4h/patch-2

Added type alias ∨ for \/