Salut,
Je fait un peu de latex en ce moment (je retappe du cours pour me former).
Le petit souci c’est que j’arrive à avoir le symbole exists mais pas nexists.
Je me chope un
! Undefined control sequence.
l.70 ... \> $= \{x \subseteq \mathbb{X} / \nexists
y \in \mathbb{X} : x \leq...
sur la ligne
\subsection{Opérateur sur les branches ordonn\'{e}es}
\begin{tabbing}
$\forall \mathbb{X} \subseteq \mathbb{E}$\\
$Max\leq(\mathbb{X})$ \= $=$ les plus de $\mathbb{X}$ selon $\leq$\\
\> $= \{x \subseteq \mathbb{X} / \nexists y \in \mathbb{X} : x \leq y\}$
\end{tabbing}
Alors que /exists fonctionne très bien 
merci beaucoup j’avais trouvé ça nul part 
