Je cherche un moyen simple de coder des symboles logiques sur ce carnet. Alan Wood a mis en ligne un ensemble de ressources Unicode qui permettent de tester le support des caractères Unicode dans les navigateurs comme les flèches ou les opérateurs mathématiques.

Unicode est une norme développée par le consortium du même nom, dont le but est de fournir un numéro unique pour chaque caractère, quel que soit la langue employée : de ce fait, la page sur les symboles Unicode disponibles (de la ponctuation aux caractères spéciaux, en passant par les caractères phonétiques) est fournie.

Il existe également une norme MathML qui me semble beaucoup plus lourde à mettre en place actuellement : ajout de la DTD spécifique dans le gabarit de la page et code très long à saisir. Ainsi, si l'on prend un exemple de présentation, la notation x2 + 4x + 4 = 0 se balise 

<mrow>
  <mrow>
    <msup>
      <mi>x</mi>
      <mn>2</mn>

    </msup>
    <mo>+</mo>
    <mrow>
      <mn>4</mn>
      <mo>&InvisibleTimes;</mo>

      <mi>x</mi>
    </mrow>
    <mo>+</mo>
    <mn>4</mn>

  </mrow>
  <mo>=</mo>
  <mn>0</mn>
</mrow>

en MathML. Ce n'est pas très pratique. En attendant une éventuelle extension à Dotclear, je vais me servir des tables de correspondance par rang Unicode et taper le numéro Unicode directement. On aurait ainsi par exemple

  • ∀ : pour tout (code 2200)
  • ∃ : il existe (code 2203)
  • ∧ : la conjonction (code 2227)
  • ∨ : la disjonction (code 2228)
  • ≝ : la définition (code 225d)
  • ≡ : l'équivalence (code 2261)
  • ¬ : la négation (code 172)

Si je comprends bien, il semble que ce soit l'une des bonnes façons de procéder.