From 21e376835bd989a5150e67eece45a0cb161411ab Mon Sep 17 00:00:00 2001 From: "David A. Madore" Date: Fri, 10 Nov 2017 21:48:27 +0100 Subject: Missing comma. --- notes-inf105.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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