fix(site): create a file with a sample program before rewriting the p…

…rogram in that file
objectionary · Dec 4, 2024 · 820a39e · 820a39e
1 parent a9191c4
commit 820a39e
Showing 1 changed file with 2 additions and 0 deletions.
diff --git 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
 ```