base-unicode-symbols-0.2.4: Unicode alternatives for common functions and operators
Data.Bool.Unicode
(∧) :: Bool -> Bool -> Bool infixr 3 Source #
(∧) = (&&)
&&
U+2227, LOGICAL AND
(∨) :: Bool -> Bool -> Bool infixr 2 Source #
(∨) = (||)
||
U+2228, LOGICAL OR
(¬) :: Bool -> Bool Source #
(¬) = not
not
U+00AC, NOT SIGN
(⊻) :: Bool -> Bool -> Bool infixr 3 Source #
a ⊻ b = (a ∨ b) ∧ not (a ∧ b)
U+22BB, XOR
(⊼) :: Bool -> Bool -> Bool infixr 3 Source #
a ⊼ b = not (a ∧ b)
U+22bc, NAND
(⊽) :: Bool -> Bool -> Bool infixr 3 Source #
a ⊽ b = not (a ∨ b)
U+22bd, NOR