I heard that the conditional probability form of Wolfram Mathematica is like this:
Probability[x < 1 \[Conditioned] .......
However, what is Mathematica input form of double conditioned.
For example, I am considering the case of ' x<1 and y<1 both are conditioned'
I tried to use these forms but always failed.
Probability[x < 1, y<1 \[Conditioned]
Probability[(x < 1, y<1) \[Conditioned]