Typos: missing _f

cucapra · Jul 24, 2024 · f91d0cc · f91d0cc
1 parent eaaf315
commit f91d0cc
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/pieo-trees/notes.pdf b/pieo-trees/notes.pdf
diff --git a/pieo-trees/notes.tex b/pieo-trees/notes.tex
@@ -228,7 +228,7 @@ \section{Well-Formedness}
     Fix $f \in \mathcal F$.
     Define $|\cdot|_f : \PIEOTree(t) \to \mathbb N$ by
     \begin{align*}
-        |\Leaf(p)| = |p|_f && |\Internal(qs, p)| = \sum_{i=1}^{|qs|} |qs[i]|_f
+        |\Leaf(p)|_f = |p|_f && |\Internal(qs, p)|_f = \sum_{i=1}^{|qs|} |qs[i]|_f
     \end{align*}
 
     We say that $q \in \PIEOTree(t)$ is \emph{well-formed} w.r.t $f$, denoted $\vdash_f q$, if it adheres to the following rules.