Zdroj TeX:

P_1: (P_1 ∈ 𝑘 ∩ o_2)