They need to wind up on Form 6781.
I don't use ProSeries, and no one else replied, so I'll take a guess and say the input is in the 1099-B worksheet somewhere.
