See tilde , diacritic .
Diacritical tilde is used to differentiate words that are written the same but have different meaning