update introtex.h