# Tag Info

Its a standard notation in mathematics, called the set-builder notation. Basically, it means: "the set of all $(m,i)$ such that $(m,j)\in T$".