In mathematical logic the tilde is the sign for equivalence in the Russell-Whitehead notation and the sign for the biconditional negation connective in the Hilbert notation. The tilde is used in dictionary articles as a symbol standing for the word (or for part of the word) being defined. In...