what does the line mean in conditional probability

what does the line mean in conditional probability

what does the line mean in conditional probability. There are any references about what does the line mean in conditional probability in here. you can look below.