Growing up in Syria I naturally still use “//“ when writing on paper to mean “same as line above” Then it dawned on my I don’t often see Americans use it. Sure enough: https://en.m.wikipedia.org/wiki/Ditto_mark Apparently “ditto mark” is a thing
Wow I forgot about this. I remembering using this as a kid in school, but I think the way we used it was closer to double-quote marks (or at least that’s what I thought they were)