Automath disparu

Eric -  
jeanbern Messages postés 16966 Statut Contributeur -
Bonjour,
après une mauvaise manip le raccourci pour créer un vecteur dans automath a disparu
impossible ensuite de le rajouter quelqu'un a-il une idée?
Merci d'avance.
Eric


3 réponses

schuchmann Messages postés 2 Statut Membre
 
Oui tout à fait mais pas d'explication pour recréer un automate avec une mise en forme de vecteur!!!
0
schuchmann Messages postés 2 Statut Membre
 
Le problème c'est pour recréer la mise en vecteur impossible de copier correctement le caractère....
0
jeanbern Messages postés 16966 Statut Contributeur 4 988
 
Es tu allé sur un forum Word comme celui ci : https://www.faqword.com/
Par exemple !!
Merci à toutes et à tous
0
jeanbern Messages postés 16966 Statut Contributeur 4 988
 
0