Data.Sequence.Unicode

Documentation

(∅) :: Seq α

(∅) = empty

U+2205, EMPTY SET

(⊲) :: α -> Seq α -> Seq α

(⊲) = (<|)

U+22B2, NORMAL SUBGROUP OF

(⊳) :: Seq α -> α -> Seq α

(⊳) = (|>)

U+22B3, CONTAINS AS NORMAL SUBGROUP

(⋈) :: Seq α -> Seq α -> Seq α

(⋈) = (><)

U+22C8, BOWTIE