| Name | Character |
|
Code point |
|---|---|---|---|
| Double colon | ∷ | \dblcolon |
2237 |
| Lambda | λ | \lambda |
03bb |
| Left arrow | ← | \leftarrow |
2190 |
| Right arrow | → | \rightarrow |
2192 |
| Operator | Unicode | Pronunciation |
|---|---|---|
:: |
∷ | has type |
-> |
→ | maps to, to |
<- |
← | drawn from, from |
= |
is | |
\ |
λ | lambda |