In the UK, a higher rate taxpayer who contributes to a pension scheme is entitled to pension relief to recover the difference between basic rate and higher rate tax for pension contributions.
(HM Revenue and Customs (HMRC) refund the basic rate income tax directly to the scheme or and contribute to a company pension scheme with relief at source. For example, a higher rate taxpayer contributing £8 of taxed income to a pension scheme will get relief at source of £2 approx for basic rate tax and then is entitled to higher rate relief of an additional £2 approx- e.g. see UK income tax relief on pension contributions (higher rate) for an example)
How does a higher rate taxpayer claim the additional higher rate relief? Various guidance online suggests using the self assessent form to claim it, but the self assessment form says not to include pension payments from one's employer made before tax.
Is it automatically processed by HMRC from information provided by the employer (and if so, is there a way to check this has been done correctly?).