We'd like to use analytics cookies to understand which symbols people look up, so we know what to research next. They are not used for advertising and we set none of them unless you say yes. What we store.
A plain right arrow naming a function's domain and codomain.
Also known as: Rightwards arrow, Mapping arrow, To
The plain arrow declares a function between two sets: the domain on the left and the codomain on the right. Decorated forms say more — a hooked tail for an injection, a double head for a surjection — and the decoration is the only thing carrying that information.
Declares a function from the set on its left to the set on its right, naming its domain and codomain.
Contexts: Mathematics
Is decorated to record extra properties: a hooked tail marks an injection, a doubled head a surjection, and a tilde over it an isomorphism.
Contexts: Mathematics
A horizontal line ending in a pointed head made of two short strokes meeting at the right.
One relates sets, the other relates an element to its image.