swung dash

noun
1.
a mark of punctuation (∼) used in place of a word or part of a word previously spelled out.
Origin
1950-55
British Dictionary definitions for swung dash

swung dash

noun
1.
a mark, ~, traditionally used in text to indicate the omission of a word or part of a word
swung dash in Technology

character
A character similar to tilde but appearing in the same vertical position as a dash, i.e. half way up rather than at the top like tilde. ASCII does not include a swung dash so tilde is used instead.
It is commonly used for "approximates" or "is approximately equal to".
(1997-06-28)