Comment définir un nouvel opérateur ou symbole ?#

1.  Avec les commandes de bases#

Les commandes permettant de définir d’autres commandes peuvent être ici utilisées, en les plaçant plutôt dans le préambule du document (sans que cela soit obligatoire).

Ainsi, voici un exemple avec \newcommand, la principale commande de définition avec

\documentclass{article}
  \pagestyle{empty} % N'affiche pas de numéro de page
  \newcommand{\affecte}{\mathrel{:=}}
  \newcommand{\surconditionne}{\mathrm{\ surc\ }}

\begin{document}
$x \affecte 0$, $y \affecte 1$

$ A \surconditionne B \surconditionne C $
\end{document}

Il faut noter ici que, pour définir un nouveau symbole de plusieurs caractères textuels, il faut utiliser les commandes \mathrm (caractères romains) ou \mathit (caractères italiques) pour encadrer ce symbole. La présence des \ permet d’insérer des espaces simples avant et après ce symbole (solution qui pourrait ne pas être toujours satisfaisante en fonction du positionnement du symbole).

Dans des cas moins fréquents (car exigeant plus de précautions d’usage), la commande \def (issue de est également disponible :

\documentclass{article}
  \pagestyle{empty} % N'affiche pas de numéro de page
  \makeatletter
  \def\log{\mathop{\operator@font log}\nolimits}
  \makeatother

\begin{document}
$\log 28 = 1.447158$
\end{document}

Cet exemple illustre également l’utilisation de la commande \mathop.

À faire

Détailler un peu plus ce sujet de \mathop.

2.  Avec l’extension mathtools#

Pour faire ce type de définition, il existe la commande \DeclareMathOperator de l’extension mathtools (ou amsmath). Elle s’utilise dans le préambule comme ici :

\documentclass{article}
  \usepackage{mathtools}
  \DeclareMathOperator{\init}{init}
  \pagestyle{empty} % N'affiche pas de numéro de page

\begin{document}
\[
\init f = 0 \quad \mathrm{au \ lieu \ de}\quad init f = 0
\]
\end{document}