primitive exports to tex