Tilde and caret notations