Equivalent for \hookrightarrow, ↪

Question

Of course I can simply type the unicode ↪, but is there a operator with no built in meaning that renders like this?

The documentation guide/ArrowsAndArrowLikeForms presumably lists all arrows. If it doesn't exist, can I define Output and typesettings rules for the unicode character?

Answer 1

You can use an empty TemplateBox to create a new operator. For example:

CurrentValue[EvaluationNotebook[],{InputAutoReplacements,"ha"}] = TemplateBox[
    {},
    "HookRightArrow",
    DisplayFunction -> Function@"↪",
    InterpretationFunction :> Function[Sequence["~", "HookRightArrow", "~"]]
];

Then, typing x space h a space y produces:

and when evaluated yields:

HookRightArrow[x, y]