A question for those of you with a good musical education:
I* have only recently found out that slur symbols over two notes that are the same (as in "A" and "A") are not slurs but ties. Well enough, but does the tie criteria apply as well to two notes where the second note has grace notes before it?
* I have no musical education whatsoever. Ask me about 21 megavolt linear electron accelerators and I’m halfway coherent but music notation, er… not so much.