containers-unicode-symbols-0.3.1.1: Unicode alternatives for common functions and operators

Maintainer Roel van Dijk Safe-Inferred

Data.Set.Unicode

Description

Synopsis

# Documentation

(∈) :: Ord α => α -> Set α -> BoolSource

(∈) = member

U+2208, ELEMENT OF

(∋) :: Ord α => Set α -> α -> BoolSource

(∋) = flip (∈)

U+220B, CONTAINS AS MEMBER

(∉) :: Ord α => α -> Set α -> BoolSource

(∉) = notMember

U+2209, NOT AN ELEMENT OF

(∌) :: Ord α => Set α -> α -> BoolSource

(∌) = flip (∉)

U+220C, DOES NOT CONTAIN AS MEMBER

(∅) :: Set αSource

(∅) = empty

U+2205, EMPTY SET

(∪) :: Ord α => Set α -> Set α -> Set αSource

(∪) = union

U+222A, UNION

(∖) :: Ord α => Set α -> Set α -> Set αSource

(∖) = difference

U+2216, SET MINUS

(∆) :: Ord α => Set α -> Set α -> Set αSource

Symmetric difference

a ∆ b = (a ∖ b) ∪ (b ∖ a)

U+2206, INCREMENT

(∩) :: Ord α => Set α -> Set α -> Set αSource

(∩) = intersection

U+2229, INTERSECTION

(⊆) :: Ord α => Set α -> Set α -> BoolSource

(⊆) = isSubsetOf

U+2286, SUBSET OF OR EQUAL TO

(⊇) :: Ord α => Set α -> Set α -> BoolSource

(⊇) = flip (⊆)

U+2287, SUPERSET OF OR EQUAL TO

(⊈) :: Ord α => Set α -> Set α -> BoolSource

a ⊈ b = (a ≢ b) ∧ (a ⊄ b)

U+2288, NEITHER A SUBSET OF NOR EQUAL TO

(⊉) :: Ord α => Set α -> Set α -> BoolSource

a ⊉ b = (a ≢ b) ∧ (a ⊅ b)

U+2289, NEITHER A SUPERSET OF NOR EQUAL TO

(⊂) :: Ord α => Set α -> Set α -> BoolSource

(⊂) = isProperSubsetOf

U+2282, SUBSET OF

(⊃) :: Ord α => Set α -> Set α -> BoolSource

(⊃) = flip (⊂)

U+2283, SUPERSET OF

(⊄) :: Ord α => Set α -> Set α -> BoolSource

a ⊄ b = not (a ⊂ b)

U+2284, NOT A SUBSET OF

(⊅) :: Ord α => Set α -> Set α -> BoolSource

a ⊅ b = not (a ⊃ b)

U+2285, NOT A SUPERSET OF