TeX source:
((major AVM_{j,m=1,....M) \leq T_C})