add TLATEX Typesetter
add TLATEX Typesetter
Revert "add TLATEX Typesetter"

This reverts commit d7dc201a01d970c21ae3f6bef5b9648fc7fea992.