Documentation
(⧺) :: [α] -> [α] -> [α] infixr 5
(⧺) = (++
)
U+29FA, DOUBLE PLUS
(∈) :: Eq α => α -> [α] -> Bool infix 4
(∈) = elem
U+2208, ELEMENT OF
(∋) :: Eq α => [α] -> α -> Bool infix 4
(∋) = flip
(∈)
U+220B, CONTAINS AS MEMBER
(∌) :: Eq α => [α] -> α -> Bool infix 4
(∌) = flip
(∉)
U+220C, DOES NOT CONTAIN AS MEMBER
(∪) :: Eq α => [α] -> [α] -> [α] infixl 6
(∖) :: Eq α => [α] -> [α] -> [α] infixl 9
(∖) = (\\
)
U+2216, SET MINUS
(∆) :: Eq α => [α] -> [α] -> [α] infixl 9
Symmetric difference
a ∆ b = (a ∖ b) ∪ (b ∖ a)
U+2206, INCREMENT
(∩) :: Eq α => [α] -> [α] -> [α] infixr 6