Add Tilde notation