Pension was earned while a Texas resident. It’s Not listed as separate in the divorce decree. Sounds like based on the link you included in your post, it’s not deductible to the payer or taxable for the payee.
