summaryrefslogtreecommitdiffstats
path: root/notes-inf105.tex
diff options
context:
space:
mode:
Diffstat (limited to 'notes-inf105.tex')
-rw-r--r--notes-inf105.tex2
1 files changed, 1 insertions, 1 deletions
diff --git a/notes-inf105.tex b/notes-inf105.tex
index af7df7e..5fa2d6b 100644
--- a/notes-inf105.tex
+++ b/notes-inf105.tex
@@ -165,7 +165,7 @@ tout langage décidable est semi-décidable
(\ref{decidable-iff-semidecidable-and-complement}). On procède donc
du plus particulier au plus général.
-\thingy \textbf{Notations :} On écrit $A:=B$, ou parfois $B=:A$ pour
+\thingy \textbf{Notations :} On écrit $A:=B$, ou parfois $B=:A$, pour
dire que $A$ est défini comme égal à $B$ (cela signifie simplement
$A=B$ mais en insistant sur le fait que c'est la définition du membre
du côté duquel se situent les deux points). On note $\mathbb{N}$