===> Cleaning for tex-symbol-2008.7340