# \[resolu\] Latex et nexists

**URL:** <https://www.debian-fr.org/t/resolu-latex-et-nexists/11879>\
**Category:** Programmation\
**Created:** [Février 20, 2016, 5:04 UTC](https://www.debian-fr.org/t/resolu-latex-et-nexists/11879 "2016-02-20T17:04:15Z")\
**Posts on this page:** 4\
**Page:** 1

<div class="post-metadata">

**Author:** ![MisterFreez](https://www.debian-fr.org/letter_avatar_proxy/v4/letter/m/bb73d2/32.png) [@MisterFreez](https://www.debian-fr.org/u/MisterFreez)\
**Post date:** [Février 20, 2016, 5:04 UTC](https://www.debian-fr.org/t/resolu-latex-et-nexists/11879/1 "2016-02-20T17:04:15Z")

</div>

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 ❓

---

<div class="post-metadata">

**Author:** ![SGC.Alex](https://www.debian-fr.org/user_avatar/www.debian-fr.org/sgc.alex/32/9386_2.png) [@SGC.Alex](https://www.debian-fr.org/u/SGC.Alex)\
**Post date:** [Février 20, 2016, 5:04 UTC](https://www.debian-fr.org/t/resolu-latex-et-nexists/11879/2 "2016-02-20T17:04:18Z")

</div>

Tu as bien chargé le paquet amssymb ?

---

<div class="post-metadata">

**Author:** ![MisterFreez](https://www.debian-fr.org/letter_avatar_proxy/v4/letter/m/bb73d2/32.png) [@MisterFreez](https://www.debian-fr.org/u/MisterFreez)\
**Post date:** [Février 20, 2016, 5:04 UTC](https://www.debian-fr.org/t/resolu-latex-et-nexists/11879/3 "2016-02-20T17:04:23Z")

</div>

😆 merci beaucoup j’avais trouvé ça nul part 😕

Pourquoi /exists et /nexists ne sont pas dans le même paquage ? 😮

---

<div class="post-metadata">

**Author:** ![fran.b](https://www.debian-fr.org/letter_avatar_proxy/v4/letter/f/d78d45/32.png) [@fran.b](https://www.debian-fr.org/u/fran.b)\
**Post date:** [Février 20, 2016, 5:04 UTC](https://www.debian-fr.org/t/resolu-latex-et-nexists/11879/4 "2016-02-20T17:04:27Z")

</div>

Là, si tu cherches de la logique dans les packages latex, tu vas vite avoir mal à la tête…