additions to tex