If he is age 53 or more on withdrawal, his annuity after withdrawal, shall be equal to 50% of his average salary.
An employee who reaches compulsory retirement age and who has less than 23 years of service shall be entitled to a minimum annuity equal to an amount determined by the product of (1) his years of service and (2) 2% of his average salary.
An employee who remains in service after qualifying for annuity under this Section shall have added to this annuity an additional 1% of average salary for each completed year of service or fraction thereof rendered until July 21, 1959, and an additional 1% for a total of 2% of average salary from July 21, 1959. Each future entrant who has completed 23 years of service before reaching age 53 shall have added to this annuity 1% of average salary for each completed year of service or fraction thereof in excess of 23 years up to age 53.
40 ILCS 5/6-128