Origin of $\mapsto$ notation

math-history notation

It seems that $\mapsto$ was introduced by Bourbaki between 1963 and 1964.

HSM has a full answer.

Related

How to prove $\sin x+\frac{\sin 2x}{2}+\frac{\sin 3x}{3}+\cdots$ is positive? [duplicate]
$\angle ABD=38°, \angle DBC=46°, \angle BCA=22°, \angle ACD=48°,$ then find $\angle BDA$
Expected values of some properties of the convex hull of a random set of points
Semialgebraic conditions that convey properties of Galois group
Intuition about the class equation (and flowers).
if $f(x)-a\int_x^{x+1}f(t)~dt$ is constant, then $f(x)$ is constant or $f(x)=Ae^{bx}+B$
Find all pairs of functions $(f,g)$, $\forall x, y \in \mathbb{R}, f(x+g(y))=x f(y) - y f(x) + g(x)$
Does there exist an $a$ such that $a^n+1$ is divisible by $n^3$ for infinitely many $n$?
Curious number theory problem
Let $f$ and $g$ be two group homomorphisms from $G$ to $G'$. Is $H$ a subgroup of $G$?
Sets of Prime Numbers Generated By an Irreducible Monic Polynomial
Minimal and characteristic polynomials on tensor product spaces