" implies "

or

." This would not be required if we had a theoretically more perfect notation, since in the conception of disjunction there is no order involved, so that "

or

" and "