===> Cleaning for tex-dictsym-2023