TL * t ibx \ {tx