Post #1771316

@MonniauxD Non, elle est complètement différente. Les commandes sont écrites sans \ et reconnues au fait qu'elles font plus d'un caractère, et leurs noms sont souvent différents, donc par exemple $forall x, P(x) and Q(x)$ au lieu de $\forall x, P(x) \land Q(x)$. En contrepartie, on n'écrit pas $xyz = 1$ mais $x y z = 1$. De plus, il y a beaucoup plus de raccourcis syntaxiques ASCII. Par exemple, $forall x in RR, x != 0 => exists y in RR, x y = 1$ au lieu de $\forall x \in \mathbb{R}, x \neq 0 \implies \exists y \in \mathbb{R}, xy = 1$.