Prelude.Unicode

(¬)

(∧)

(∨)

(≡)

(≢)

(≠)

(≤)

(≥)

(≮)

(≯)

π

(÷)

(⋅)

(∘)

(⧺)

(∈)

(∉)

(⊥)

type

type