[tex] definitions