Tax Credit for Pension

Hi all - just looking for some info on this.

My other half has always paid into a pension with his current employer (last 4 years).

Basically I want to know if when we look at his tax credits online (PAYE anytime) should there be a separate tax credit for this or not?

I cannot see this for any of his years employment & am trying to claim tax back wherever possible!
Thanks in advance for your advice!!

Is the pension an employer scheme where it is deducted from his pay. If so then the tax relief is likely given on a "net pay" arrangement whereby it is deducted from his pay before tax and PRSI and then he is taxed only on the amount after the pension deduction. IN that case you will not see anything on his tax credit cert.