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 |