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