Hallo Harm,
a Happy New Year to you and all other LilyPonders! > In our doc-strings we sometimes have @tie{} to get an unbreakable > space. As lsr-editor I need similar for html. Is the > correct equivalent? Yes. Note that U+00A0 would also work. > Will correctly be transformed to @tie{} if lsr-snippets are > imported? Yes, `makelsr.pl` has special code to do exactly that. Werner