add derivation translation to tex
some fixes in tex translation