Added tex definitions