Aide:Formules LaTeX

Voici quelques tuyaux pour écrire des formules LaTeX en sémantique formelle.

N'hésitez pas poser des questions en cliquant ici (la liste des questions déjà posées se trouve sur cette page).

Mode Math-TeX

Tout d'abord, pour éditer une formule mathématique, il faut la placer entre les balises <math> et </math>.

Ensuite, entre ces balises, on saisit du code mathématique LaTeX habituel (avec quelques restrictions cependant).

Exemple:

<math>\sum_{i=0}^n x_i</math>

{{{2}}}

Symboles

Doubles crochets

<math>[\![p]\!]</math>

{{{2}}}

Quantificateurs

<math>\forall</math>	{{{2}}}
<math>\exists</math>	{{{2}}}

Connecteurs

<math>\wedge</math>	{{{2}}}
<math>\vee</math>	{{{2}}}
<math>\rightarrow</math>	{{{2}}}
<math>\Rightarrow</math>	{{{2}}}
<math>\leftrightarrow</math>	{{{2}}}
<math>\Leftrightarrow</math>	{{{2}}}
<math>\neg</math>	{{{2}}}

Lettres grecques

C'est simple, c'est leur nom en toute lettre (à l'anglaise) précédé de \. Si une lettre grecque est identique à une lettre latine (ex: omicron), on utilise directement cette dernière.

<math>\alpha</math>	{{{2}}}
<math>\beta</math>	{{{2}}}
<math>\gamma</math>	{{{2}}}
<math>\delta</math>	{{{2}}}
<math>\epsilon</math>	{{{2}}}
<math>\zeta</math>	{{{2}}}
<math>\eta</math>	{{{2}}}

etc.

<math>\Gamma</math>	{{{2}}}
<math>\Delta</math>	{{{2}}}
<math>\Theta</math>	{{{2}}}
<math>\Lambda</math>	{{{2}}}
<math>\Xi</math>	{{{2}}}
<math>\Pi</math>	{{{2}}}
<math>\Sigma</math>	{{{2}}}

etc.

Mises en forme

Indices et exposants

Les indices sont indiqués par _ et les exposants par ^.

<math>x_1</math>	{{{2}}}
<math>a^*</math>	{{{2}}}
<math>\Gamma^w_f</math>	{{{2}}}

Si la séquence en indice ou exposant contient plus d'un caractère, il faut les mettre entre accolades ({}).

<math>x_{i,j}</math>	{{{2}}}
<math>[\![\phi]\!]^{M,w,g}</math>	{{{2}}}

Du texte dans les maths

Il faut éviter d'écrire directement du texte dans le mode math, sinon ça risque de donner un rendu pas très joli. Mieux vaut utiliser les commande \textit, \textrm ou \textbf autour des mots.

<math>\forall x (homme(x) \rightarrow \exists y (femme(y) \wedge aimer(x,y)))</math>	{{{2}}}
<math>\forall x (\textit{homme}(x) \rightarrow \exists y (\textit{femme}(y) \wedge \textit{aimer}(x,y)))</math>	{{{2}}}
<math>\forall x (\textrm{homme}(x) \rightarrow \exists y (\textrm{femme}(y) \wedge \textrm{aimer}(x,y)))</math>	{{{2}}}
<math>\forall x (\textbf{homme}(x) \rightarrow \exists y (\textbf{femme}(y) \wedge \textbf{aimer}(x,y)))</math>	{{{2}}}

Polices spéciales

<math>\mathcal{ABCD}</math>	{{{2}}}
<math>\mathbb{ABCD}</math>	{{{2}}}
<math>\mathsf{ABCDabcd}</math>	{{{2}}}