████████████

████████ ████ van de █████████████████

Een ████████████ kan ████████ als █████ worden ███████████:

████████ → ██████████████ + █⁻ (████████)

████████ + █⁻ → ██████████████ (████████)

█████████ █

████████ de ████████████ ██████ ██_(█) en ██^█+:

${\displaystyle \text{<span word-length="2" class="word redacted">██</span>}(\text{<span word-length="1" class="word redacted">█</span>})+{\text{<span word-length="2" class="word redacted">██</span>}}^{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}+}⟶{\text{<span word-length="2" class="word redacted">██</span>}}^{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}+}+\text{<span word-length="2" class="word redacted">██</span>}(\text{<span word-length="1" class="word redacted">█</span>})}$

███████ wordt █████, de ████████, ██████████ en het █████████ ████████, de ████████, ███████████. De ████████████ zijn de ████████:

█████████ █

████████ de ████████████ ██████ ██████ (██_(█)) en ████████████ (███_█(██)) tot ██████(██)███████

${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}{\text{<span word-length="2" class="word redacted">██</span>}}_{(\text{<span word-length="1" class="word redacted">█</span>})}^{}+\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}{\text{<span word-length="3" class="word redacted">███</span>}}_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}(\text{<span word-length="2" class="word redacted">██</span>})}^{}⟶\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\text{<span word-length="2" class="word redacted">██</span>}{({\text{<span word-length="2" class="word redacted">██</span>}}_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}^{})}_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}(\text{<span word-length="2" class="word redacted">██</span>})}^{}+\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}{\text{<span word-length="2" class="word redacted">██</span>}}_{(\text{<span word-length="1" class="word redacted">█</span>})}^{}+\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}{\text{<span word-length="1" class="word redacted">█</span>}}_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}^{}{\text{<span word-length="1" class="word redacted">█</span>}}_{(\text{<span word-length="1" class="word redacted">█</span>})}^{}}$

███████ wordt ██████, de ████████, ██████████ en het █████████ ███████-███, de ████████, ███████████ tot ████████████████. De ████████████ zijn, ██████████ ███ de ███████ van de ████████████ (███ ██████), de ████████:

Om het ██████ █████████ en █████████ ██████████ ████████ te █████, ████ de ███████████████ met █ en de ███████████████ met █ worden ███████████████. ████████ van de █ ████████████ █████ ███████ █████████:

${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\text{<span word-length="2" class="word redacted">██</span>}(\text{<span word-length="1" class="word redacted">█</span>})+\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}{\text{<span word-length="1" class="word redacted">█</span>}}^{+}+\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}{\text{<span word-length="2" class="word redacted">██</span>}}_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}^{-}⟶\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}{\text{<span word-length="2" class="word redacted">██</span>}}^{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}+}+\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\text{<span word-length="2" class="word redacted">██</span>}+\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}{\text{<span word-length="1" class="word redacted">█</span>}}_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}^{}\text{<span word-length="1" class="word redacted">█</span>}}$

Om aan de ███████████████ ███████ te ███████, ██████ er aan █████ ██████ nog █ ███████-█████ ██████████ worden (deze █████ niet ████ aan de ████████████ en ███████ dus niet in de ████████████ ████████ te worden):

${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\text{<span word-length="2" class="word redacted">██</span>}(\text{<span word-length="1" class="word redacted">█</span>})+\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}{\text{<span word-length="1" class="word redacted">█</span>}}^{+}+\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}{\text{<span word-length="2" class="word redacted">██</span>}}_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}^{-}+\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}{\text{<span word-length="2" class="word redacted">██</span>}}_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}^{-}⟶\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}{\text{<span word-length="2" class="word redacted">██</span>}}^{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}+}+\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\text{<span word-length="2" class="word redacted">██</span>}+\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}{\text{<span word-length="1" class="word redacted">█</span>}}_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}^{}\text{<span word-length="1" class="word redacted">█</span>}+\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}{\text{<span word-length="2" class="word redacted">██</span>}}_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}^{-}}$

Als de ███████ nu wordt █████████████, ██████████ we de ███████████████ ███████████████████, maar nu ████████████████ ███████████████:

${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\text{<span word-length="2" class="word redacted">██</span>}(\text{<span word-length="1" class="word redacted">█</span>})+\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}{\text{<span word-length="3" class="word redacted">███</span>}}_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}^{}(\text{<span word-length="2" class="word redacted">██</span>})⟶\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\text{<span word-length="2" class="word redacted">██</span>}{({\text{<span word-length="2" class="word redacted">██</span>}}_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}^{})}_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}^{}(\text{<span word-length="2" class="word redacted">██</span>})+\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\text{<span word-length="2" class="word redacted">██</span>}(\text{<span word-length="1" class="word redacted">█</span>})+\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}{\text{<span word-length="1" class="word redacted">█</span>}}_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}^{}\text{<span word-length="1" class="word redacted">█</span>}(\text{<span word-length="1" class="word redacted">█</span>})}$

Een █████████

██⁻-█████ ████████ met ██_██_█^█− (██████████) in ████ ██████ tot █████████ (██_█) en ██^█+-█████.