removed symbol duplications (ti31096)