diff --git a/site/docs/src/eo-phi-normalizer/rewrite.md b/site/docs/src/eo-phi-normalizer/rewrite.md
index 9cfd8717..1a75255c 100644
--- a/site/docs/src/eo-phi-normalizer/rewrite.md
+++ b/site/docs/src/eo-phi-normalizer/rewrite.md
@@ -169,6 +169,8 @@ Result 1 out of 1:
 ### `--chain` `--tex`
 
 ```$ as tex
+printf "{⟦ m ↦ ⟦ x ↦ ⟦ t ↦ ⟦ Δ ⤍ 42- ⟧ ⟧.t ⟧.x ⟧}" > bar.phi
+
 eo-phi-normalizer rewrite --chain --tex bar.phi
 ```