Cote n° 152 · pages 2–9 · 7 displayed formulas · Catégorie des types de mots [dont arbres plans] : notes manuscrites (s.d.).
Inventory dating : [à partir de 1982]
Édition de démonstration

batch 1 · p. 2 — read it beside the facsimile1 / 7 · 16 distinct symbols, 45 written
\[\text{nb.\ d'ordre réduit} \;=\; \sum_{\alpha \in \pi_0(\mathring{D} \smallsetminus K \cap \mathring{D})} \bigl(\operatorname{card}(\alpha \cap S) - 1\bigr)\]
LaTeX source
\[
\text{nb.\ d'ordre réduit} \;=\; \sum_{\alpha \in \pi_0(\mathring{D} \smallsetminus K \cap \mathring{D})} \bigl(\operatorname{card}(\alpha \cap S) - 1\bigr)
\]
batch 1 · p. 6 — read it beside the facsimile2 / 7 · 6 distinct symbols, 7 written
\[S \simeq \bar A / \rho_\Gamma\]
LaTeX source
\[
S \simeq \bar A / \rho_\Gamma
\]
batch 1 · p. 7 — read it beside the facsimile3 / 7 · 7 distinct symbols, 26 written
\[\bar A \ \xrightarrow{\ \mathrm{rd}\ }\ A(C) \qquad \text{ens.\ des arêtes de } C\]
LaTeX source
\[
\bar A \ \xrightarrow{\ \mathrm{rd}\ }\ A(C) \qquad \text{ens.\ des arêtes de } C
\]
batch 1 · p. 7 — read it beside the facsimile4 / 7 · 13 distinct symbols, 51 written
\[\bar A \times \{+1\} = \bar A(C)_+ \quad \bigl[\, = \mathrm{rd}(\bar A)\,\bigr] \qquad \bar A \times \{-1\} = \bar A(C)_- \quad \bigl[\, = \mathrm{rg}(\bar A)\,\bigr]\]
LaTeX source
\[
\bar A \times \{+1\} = \bar A(C)_+ \quad \bigl[\, = \mathrm{rd}(\bar A)\,\bigr]
\qquad
\bar A \times \{-1\} = \bar A(C)_- \quad \bigl[\, = \mathrm{rg}(\bar A)\,\bigr]
\]
batch 1 · p. 7 — read it beside the facsimile5 / 7 · 10 distinct symbols, 45 written
\[\Longrightarrow \quad \rho_C(\mathrm{rd}\,\bar a) = \mathrm{rd}(\rho_\Gamma(\bar a)), \qquad \rho_C(\mathrm{rg}\,\bar a) = \mathrm{rg}(\rho_\Gamma(\bar a))\]
LaTeX source
\[
\Longrightarrow \quad
\rho_C(\mathrm{rd}\,\bar a) = \mathrm{rd}(\rho_\Gamma(\bar a)), \qquad
\rho_C(\mathrm{rg}\,\bar a) = \mathrm{rg}(\rho_\Gamma(\bar a))
\]
batch 1 · p. 9 — read it beside the facsimile6 / 7 · 5 distinct symbols, 11 written
\[\sigma_\Gamma = \sigma_C, \qquad \rho_\Gamma = \rho_C\]
LaTeX source
\[
\sigma_\Gamma = \sigma_C, \qquad \rho_\Gamma = \rho_C
\]
batch 1 · p. 9 — read it beside the facsimile7 / 7 · 20 distinct symbols, 59 written
\[\begin{array}{rcl} \bar A(\Gamma) & \longleftarrow & A(C)\\[2pt] \sigma_\Gamma & \longleftrightarrow & \rho_C\\[2pt] \rho_\Gamma \sigma_\Gamma & \longleftarrow & \rho_C\\[2pt] \rho_\Gamma & \longleftarrow & \rho_C\,\sigma_C \end{array}\]
LaTeX source
\[
\begin{array}{rcl}
\bar A(\Gamma) & \longleftarrow & A(C)\\[2pt]
\sigma_\Gamma & \longleftrightarrow & \rho_C\\[2pt]
\rho_\Gamma \sigma_\Gamma & \longleftarrow & \rho_C\\[2pt]
\rho_\Gamma & \longleftarrow & \rho_C\,\sigma_C
\end{array}
\]