Data.Bool.Unicode

(∧)

(∨)

(¬)