I think your suggestion is a good one. You probably should include a tn that says the carried number is above the word in print.
You are right that the Nemeth Code doesn't speak to carried number lines in multiplication, but they are handled the same way as is done in addition.