| =≪ | Control.Monad.Unicode |
| ¬ | Data.Bool.Unicode, Prelude.Unicode |
| × | Prelude.Unicode |
| ÷ | Prelude.Unicode |
| π | Prelude.Unicode |
| ‼ | Data.List.Unicode, Prelude.Unicode |
| ⁂ | Control.Arrow.Unicode |
| ℕ | Numeric.Natural.Unicode |
| ℚ | Prelude.Unicode |
| ℤ | Prelude.Unicode |
| ↢ | Control.Monad.Unicode |
| ↣ | Control.Monad.Unicode |
| ∅ | |
| 1 (Function) | Control.Applicative.Unicode |
| 2 (Function) | Data.Monoid.Unicode |
| ∆ | Data.List.Unicode |
| ∈ | |
| 1 (Function) | Data.Foldable.Unicode |
| 2 (Function) | Data.List.Unicode, Prelude.Unicode |
| ∉ | |
| 1 (Function) | Data.Foldable.Unicode |
| 2 (Function) | Data.List.Unicode, Prelude.Unicode |
| ∋ | |
| 1 (Function) | Data.Foldable.Unicode |
| 2 (Function) | Data.List.Unicode |
| ∌ | |
| 1 (Function) | Data.Foldable.Unicode |
| 2 (Function) | Data.List.Unicode |
| − | Prelude.Unicode |
| ∖ | Data.List.Unicode |
| ∘ | |
| 1 (Function) | Control.Category.Unicode |
| 2 (Function) | Data.Function.Unicode, Prelude.Unicode |
| ∣ | Prelude.Unicode |
| ∤ | Prelude.Unicode |
| ∧ | Data.Bool.Unicode, Prelude.Unicode |
| ∨ | Data.Bool.Unicode, Prelude.Unicode |
| ∩ | Data.List.Unicode |
| ∪ | Data.List.Unicode |
| ≠ | Data.Eq.Unicode, Prelude.Unicode |
| ≡ | Data.Eq.Unicode, Prelude.Unicode |
| ≢ | Data.Eq.Unicode, Prelude.Unicode |
| ≤ | Data.Ord.Unicode, Prelude.Unicode |
| ≥ | Data.Ord.Unicode, Prelude.Unicode |
| ≫ | Control.Monad.Unicode |
| ≫= | Control.Monad.Unicode |
| ≮ | Data.Ord.Unicode, Prelude.Unicode |
| ≯ | Data.Ord.Unicode, Prelude.Unicode |
| ⊕ | Data.Monoid.Unicode |
| ⊛ | Control.Applicative.Unicode |
| ⊥ | Prelude.Unicode |
| ⊻ | Data.Bool.Unicode |
| ⊼ | Data.Bool.Unicode |
| ⊽ | Data.Bool.Unicode |
| ⋅ | Prelude.Unicode |
| ⋘ | Control.Category.Unicode, Control.Arrow.Unicode |
| ⋙ | Control.Category.Unicode, Control.Arrow.Unicode |
| ⧺ | Data.List.Unicode, Prelude.Unicode |
| ⧻ | Control.Arrow.Unicode |
| ⫴ | Control.Arrow.Unicode |
| 𝜀 | Data.List.Unicode, Data.String.Unicode, Prelude.Unicode |