Automath disparu

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

  • Votes
  • Date
  • Date décroissante
  1. Contributeur
    1. Oui tout à fait mais pas d'explication pour recréer un automate avec une mise en forme de vecteur!!!
    2. Le problème c'est pour recréer la mise en vecteur impossible de copier correctement le caractère....