Swung dash
swung dash (U+2053): typographic sign resembling to an lengthened tilde, used to separate alternatives or approximates; in dictionaries, it is frequently used to stand in for the term being defined