added TeXASRmDup() method