\<\<(\<)