Do I add a 401K pension if it was taken out of my paycheck?

I work for the state of Texas.  I get 9.5 taken out of my check every month for my pension plan.  This is not an optional investment, but I believe it is invested into a 401K.  Do I need to be adding this to my taxes or not?