Box 5 of the Form 1099-R that reports the distribution should show the after-tax amount and is the nontaxable part of the distribution. Box 2a will show the remainder of the distribution as taxable.
When you have basis in after-tax funds in a traditional 401(k) account, distributions are a proportionate mix of pre-tax and after-tax funds.
