I am reading Distributed Algorithms by Nancy Lynch. In chapter 16, I came across the pipe symbol. Does this mean the same as "or" in some programming languages or could someone explain that line please?
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$".