Logic of A | B but
also C|D could mean...
#--------------------------------------------------------------------------#
Logic of A E<verbar> B but
also CE<verbar>D could mean...

