amstexpl.tex, le symbole 
des nombres
réels n'apparaît pas, il est transformé en R.
R : Sélectionnez l'option Options | Fontes manquantes de Dviwin. Si le bouton radio Exécuter commande n'est pas activé, activez-le, fermez le panneau Fontes manquantes puis sélectionnez l'option Options | Recharger toutes les fontes.
Si le bouton est activé ou si l'action ci-dessus ne résoud pas le problème, et que vous
ne travaillez pas en mode Plug & Play, assurez-vous que les fontes AMS sont bien
installées sur votre disque dur. Pour cela, vous pouvez par exemple rechercher les
fichiers de noms msam* à partir de l'option Démarrer | Rechercher | Fichiers ou
dossiers de Windows.
