nextprevfirst
To refer to a character that is not on your keyboard, delimit its ISO 10646 (or Unicode) code-point with
]]>’]]>