> u \} 0 1 <