containers-unicode-symbols-0.3.1.1: Unicode alternatives for common functions and operators
Data.Sequence.Unicode
Description
Synopsis
(∅) :: Seq αSource
(∅) = empty
empty
U+2205, EMPTY SET
(⊲) :: α -> Seq α -> Seq αSource
(⊲) = (<|)
<|
U+22B2, NORMAL SUBGROUP OF
(⊳) :: Seq α -> α -> Seq αSource
(⊳) = (|>)
|>
U+22B3, CONTAINS AS NORMAL SUBGROUP
(⋈) :: Seq α -> Seq α -> Seq αSource
(⋈) = (><)
><
U+22C8, BOWTIE