Thanks! I only found leading note in a Wikipedia article that put it along with a B chord (while in C). Nice to know the english term. In France, we learn to write the + sign in the figured bass before the number (or the hidden 3rd) that is the leading note.
It would be nice if the litteral input (with “!” at the beginning of the popover entry) allowed to have that plus sign.