I haven't figured out if Form 8903 is actually needed or not.  The Instructions for Form 1040 seems to indicate you just reduce Line 10 on the 1040.  On the other hand, I've never dealt with this, so it might be two separate things.
https://www.irs.gov/instructions/i1040gi#idm139844929220144

@taxiowa