Suivi — Syntaxe markdown Problème de parsing sur les formules latex

#1738 Posté par  . État de l’entrée : corrigée. Licence CC By‑SA.
Étiquettes : aucune
1
25
juil.
2017

Bonjour,

Il y a un problème de parsing avec les formules LaTeX en ligne. On peut voir un exemple sur ce message.

J'ai l'impression que le conflit vient des environnements à chasse fixe. Dans mon commentaire donné en lien ci-dessus, si j'écrivais le LaTex de ma parenthèse ainsi : LaTeX, alors la formule \mathbb{N} n'était pas traitée (ce qui est pourtant le cas ici).

  • # Corrigé

    Posté par  (site Web personnel) . Évalué à 4 (+0/-0).

    • [^] # Re: Corrigé

      Posté par  . Évalué à 3 (+0/-0).

      Merci ! :-)

      Je teste :

      Ceci est à mettre en parallèle avec les énoncés que l'on ferait sur l'encodage des entiers naturels dans ZF, où on écrirait \forall x (x \in \omega \Rightarrow ...) pour énoncer une propriété des entiers. Ici le quantificateur universel sur x parcourt la collection de tous les ensembles (intreface{}) puis l'énoncé est une proposition hypothétique dont l'antécédent x \in \omega correspond à une vérification dynamique de type avant de continuer « l'exécution » vers le conséquent.

      Et ça marche !! :-)

      Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.

Envoyer un commentaire

Suivre le flux des commentaires

Note : les commentaires appartiennent à ceux qui les ont postés. Nous n’en sommes pas responsables.