What does "pension equivalent" mean in the context of a retirement gratuity received by a Judge before his appointment?
In the given context, "pension equivalent" means the amount of pension a Judge would have received if they had not accepted a retirement gratuity in lieu of a portion of their pension due to previous service. If a judge has received a retirement gratuity before their appointment, their salary will be reduced by the pension equivalent of that gratuity.