===> Cleaning for tex-tikzsymbols-4.12a