Data.Bool.Unicode
(∧)
(∨)
(¬)