Prelude.Unicode
(¬)
(∧)
(∨)
(≡)
(≢)
(≠)
(≤)
(≥)
(≮)
(≯)
π
(÷)
(⋅)
(∘)
(⧺)
(∈)
(∉)
(⊥)
type
ℤ
type
ℚ