(C) (R) (TM) -- ... -> <- => <= &#182;