El hecho de que un mapa "f" : "X" → "Y" sea un encaje es a veces indicado por medio del uso de una «flecha enganchada», por lo tanto: formula_1 Por otro lado, esta notación es a veces reservada para inyecciones canónicas.