diff options
| author | David A. Madore <david+git@madore.org> | 2017-11-10 21:48:27 +0100 |
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2017-11-10 21:48:27 +0100 |
| commit | 21e376835bd989a5150e67eece45a0cb161411ab (patch) | |
| tree | b3c589a64d2bb9235ed41e29bac15d8cdcb35bcf | |
| parent | 436bd99bcfa13c6a5c1157f10e474f84bf490960 (diff) | |
| download | inf105-21e376835bd989a5150e67eece45a0cb161411ab.tar.gz inf105-21e376835bd989a5150e67eece45a0cb161411ab.tar.bz2 inf105-21e376835bd989a5150e67eece45a0cb161411ab.zip | |
Missing comma.
| -rw-r--r-- | notes-inf105.tex | 2 |
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}$ |