Fuente TeX:
_B (T)_B = _B ( \text{Id} )_C \, _C (T)_C \, _C ( \text{Id} )_B