The tilde character ("~") is used for several different options.
Actually it belongs to the category "typographic symbols", since it
is not a phonographic symbol.
The tilde character ("~") is used for several different options.
Actually it belongs to the category "typographic symbols", since it
is not a phonographic symbol.