Fixed tilde sign