Add T function implementing generic Tpq transform
Compute second application of T_pq to (a b)