<^> operator