Tilde notation