How do I enter TMRS withholdings that my husband pays into in lieu of paying into social security & social security taxes?

Texas Municipal Retirement System