\finger \markup \overtie #"52" MarkThanks, that works great! And \undertie works too. I looked for a markup keyword called "tie" or "slur" but "overtie" eluded me.
\tie works as well. And the syntax is so generous by now that you can just do:
\version "2.22" { c'\finger \markup \tie 1235 } Lukas