Cosmetics: tilde
Cosmetics: approximate sign