I strongly feel it's cumbersome and confusing to try to include them within the music - the student is trying to figure out the piano format already. Adding a new format for them to figure out, as well, seems unnecessary. I include in my mega TN that the lyrics are brailled after the music.