TeX source:

P(A\vert B\cap C)