# 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_