From 21e376835bd989a5150e67eece45a0cb161411ab Mon Sep 17 00:00:00 2001
From: "David A. Madore" <david+git@madore.org>
Date: Fri, 10 Nov 2017 21:48:27 +0100
Subject: Missing comma.

---
 notes-inf105.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'notes-inf105.tex')

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}$
-- 
cgit v1.2.3

