" t \ ^t \ * t \*