summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2017-11-10 21:48:27 +0100
committerDavid A. Madore <david+git@madore.org>2017-11-10 21:48:27 +0100
commit21e376835bd989a5150e67eece45a0cb161411ab (patch)
treeb3c589a64d2bb9235ed41e29bac15d8cdcb35bcf
parent436bd99bcfa13c6a5c1157f10e474f84bf490960 (diff)
downloadinf105-21e376835bd989a5150e67eece45a0cb161411ab.tar.gz
inf105-21e376835bd989a5150e67eece45a0cb161411ab.tar.bz2
inf105-21e376835bd989a5150e67eece45a0cb161411ab.zip
Missing comma.
-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}$