Applying a symbolic forms lens to probability expressions in upper-division quantum mechanics