<\body> <\explain> >|expr-n> >|expr-n> <|explain> Returns the result of the boolean or/and on the expressions until . For instance, |false>> yields |false>. <\explain> <|explain> Returns the exclusive or of two expressions and , > yields . <\explain> <|explain> Returns the negation of .