Because of the Texinfo anchor syntax, some characters are very
problematic (or even completely prohibited) in anchor names. In order to
provide robust anchors, Declt transforms those characters into
Unicode alternatives, resembling the original ones, but not quite the
same. This is normally not a problem, but you may get bitten by this if
you ever happen to attempt a copy/paste operation from an Info anchor or
an HTML hyperlink (PDF links are fine): while the link may look like the
original Lisp symbol, some characters will actually be different. More
specifically, dots, commas, colons, parentheses, and backslashes will be
replaced by close Unicode symbols. Additionally, the ampersand is turned
upside down, so this one will be noticeable…