The cdf command will take as arguments the name of a probability distribution, along with any needed parameters, and return an expression for the cumulative distribution function. If you enter
you will get
You can evaluate the cumulative distribution function at a value by adding the value as an argument; if you enter
you will get