unicode-prelude-0.1: Unicode notation for some definitions in Prelude (Index)

unicode-prelude-0.1: Unicode notation for some definitions in Prelude

Index

:×	Prelude.Unicode
¬	Prelude.Unicode
·	Prelude.Unicode
×	Prelude.Unicode
÷	Prelude.Unicode
π	Prelude.Unicode
⇔	Prelude.Unicode
∅	Prelude.Unicode
∈	Prelude.Unicode
∉	Prelude.Unicode
∧	Prelude.Unicode
∨	Prelude.Unicode
≠	Prelude.Unicode
≡	Prelude.Unicode
≢	Prelude.Unicode
≤	Prelude.Unicode
≥	Prelude.Unicode
≮	Prelude.Unicode
≯	Prelude.Unicode
⊥	Prelude.Unicode
◦	Prelude.Unicode