No, thank you, I was indeed being imprecise, you are correct that double colon doesn't exist as punctuation in English or Hebrew grammar so it's not a "punctuat

No, thank you, I was indeed being imprecise, you are correct that double colon doesn't exist as punctuation in English or Hebrew grammar so it's not a "punctuation symbol". I guess I meant "programming symbol", but it is also used in other contexts such as ratio equivalence in math, or abbreviating analogies e.g. dog:house::fish:bowl. I guess I don't know what to call it, really.