↦

Symbol

 * [f = (x ↦ x)] ↔ [∀x: f(x) = x]
 * [f = (x ↦ x)] ↔ [∀x: f(x) = x]