I'm guessing "a^b" is meant to denote the intersection, or possibly

which could be the complement of

in

. I'll stick with the first assumption. I'll also read "a/b" as

, the event of

being conditioned on

, though this also is ambiguous and could refer to the complement of B in A.
By definition of conditional probability,
