I am a US citizen. I worked in UK for NHS . I am receiving NHS post retirement NHS pension . Is this pension taxable or tax exempt in the US under the US-UK tax treaty article 17 or 18? If tax exempt, how do I report it on 1040 and/or form 8833? What internal revenue codes do I use on form 8833? Is form 8833 available on turbo tax or do I use the form from IRS website?
