Answer:
Step-by-step explanation:
in discrete math, a single vertical line usually means "such that" as it relates to data sets. In this case it looks like a typo.