Qu'est devenu ce symbole apparemment perdu?
Vous compilez un ancien document qui fonctionnait très bien et certaines commandes de symboles telles que \Box et \lhd semblent maintenant ne plus exister. Ces commandes étaient présentes dans le noyau de 
2.09, mais ne sont plus dans les versions récentes de . Elles sont désormais disponibles :
- dans l'extension latexsym qui fait partie de la distribution de base de
; - dans l'extension amsfonts qui fait partie de la distribution AMS nécessitant les polices de symboles AMS.
Source: Missing symbol commands
