# What is the meaning of the pipe symbol here?

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?

Basically, it means: "the set of all $$(m,i)$$ such that $$(m,j)\in T$$".