diff options
| author | David A. Madore <david+git@madore.org> | 2018-01-30 17:08:25 +0100 |
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2018-01-30 17:08:25 +0100 |
| commit | 4307a310373c44569f175d1cb2d5f5fad87fe19c (patch) | |
| tree | 6b339ed634b28716449d03fb95695f5ee888b0fe | |
| parent | 1e7e4ee5c5007d4a5113fb0f942fe7649cac7772 (diff) | |
| download | inf105-4307a310373c44569f175d1cb2d5f5fad87fe19c.tar.gz inf105-4307a310373c44569f175d1cb2d5f5fad87fe19c.tar.bz2 inf105-4307a310373c44569f175d1cb2d5f5fad87fe19c.zip | |
Eliminate ugly slash.
| -rw-r--r-- | controle-20180206.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/controle-20180206.tex b/controle-20180206.tex index 8ab48c3..f031fb6 100644 --- a/controle-20180206.tex +++ b/controle-20180206.tex @@ -454,7 +454,7 @@ On obtient les arbres d'analyse suivants : \end{tikzpicture} \end{corrige} -(2) En considérant que $(w)$ a le même effet / la même valeur +(2) En considérant que $(w)$ a le même effet ou la même valeur que $w$ : (a) L'une des deux opérations $\#$ et $@$ est-elle prioritaire\footnote{On dit qu'une opération binaire $\boxtimes$ est \emph{prioritaire} sur $\boxplus$ lorsque « $u\boxtimes v\boxplus |