Tex test and setup instructions