xrx rr^r