x xt o= \ \ tv t x x * t11 \ ^ 1x.