tex document added from Interaction Desing Document