# P() is probability of standard normal distribution; P(x_a_):= 1-Phi(left(solve(x-a,x))); P(x_>=a_):= 1-Phi(left(solve(x-a,x))); P(a_