Aide:Formules LaTeX

Un article de Sémanticlopédie.

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

N'hésitez pas poser des questions en cliquant ici (http://www.semantique-gdr.net/wiki/index.php?title=Discussion_Aide:Formules_LaTeX&action=edit&section=new) (la liste des questions déjà posées se trouve sur cette page (http://www.semantique-gdr.net/wiki/index.php?title=Discussion_Aide:Formules_LaTeX)).

Sommaire

1 Mode Math-TeX

2 Symboles

2.1 Doubles crochets
2.2 Quantificateurs
2.3 Connecteurs
2.4 Lettres grecques

3 Mises en forme

3.1 Indices et exposants
3.2 Du texte dans les maths
3.3 Polices spéciales

[modifier]

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:

n \sum x i i = 0

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

[modifier]

Symboles

[modifier]

Doubles crochets

$[\![p]\!]$

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

[modifier]

Quantificateurs

$\forall$	<math>\forall</math>
$\exists$	<math>\exists</math>

[modifier]

Connecteurs

$\land$	<math>\wedge</math>
$\lor$	<math>\vee</math>
$\to$	<math>\rightarrow</math>
$\Rightarrow$	<math>\Rightarrow</math>
$\leftrightarrow$	<math>\leftrightarrow</math>
$\Leftrightarrow$	<math>\Leftrightarrow</math>
$\neg$	<math>\neg</math>

Attention bug: la commande \& ne fonctionne pas ici. Et on ne peut avoir non plus le symbole @ dans des formules LaTeX.

[modifier]

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>
$β$	<math>\beta</math>
$γ$	<math>\gamma</math>
$δ$	<math>\delta</math>
$ε$	<math>\epsilon</math>
$ζ$	<math>\zeta</math>
$η$	<math>\eta</math>

etc.

$Γ$	<math>\Gamma</math>
$Δ$	<math>\Delta</math>
$Θ$	<math>\Theta</math>
$Λ$	<math>\Lambda</math>
$Ξ$	<math>\Xi</math>
$Π$	<math>\Pi</math>
$Σ$	<math>\Sigma</math>

etc.

[modifier]

Mises en forme

[modifier]

Indices et exposants

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

$x 1$	<math>x_1</math>
$a *$	<math>a^*</math>
$Γ f w$	<math>\Gamma^w_f</math>

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

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

[modifier]

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.

$\forall x (h o m m e (x)\to\exists y (f e m m e (y)\land a i m e r (x, y)))$	<math>\forall x (homme(x) \rightarrow \exists y (femme(y) \wedge aimer(x,y)))</math>
$\forall x (h o m m e (x)\to\exists y (f e m m e (y)\land a i m e r (x, y)))$	<math>\forall x (\textit{homme}(x) \rightarrow \exists y (\textit{femme}(y) \wedge \textit{aimer}(x,y)))</math>
$\forall x (homme(x)\to\exists y (femme(y)\landaimer(x, y)))$	<math>\forall x (\textrm{homme}(x) \rightarrow \exists y (\textrm{femme}(y) \wedge \textrm{aimer}(x,y)))</math>
$\forall x (\textbf{homme}(x) \rightarrow \exists y (\textbf{femme}(y) \wedge \textbf{aimer}(x,y)))$	<math>\forall x (\textbf{homme}(x) \rightarrow \exists y (\textbf{femme}(y) \wedge \textbf{aimer}(x,y)))</math>

Attention, il y a un bug: on ne peut pas mettre de caractères accentués (et autres diacritiques) dans les formules, ça crée une erreur de traitement. Donc on fera: $eleve(x)$ (et pas "élève").

[modifier]

Polices spéciales

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