Tilde and caret notation