chore: update technical note.

Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org>

1 files changed, 1 insertions, 1 deletions

diff --git a/source/wg05/tn/tn001.05.tex b/source/wg05/tn/tn001.05.tex
index 19400cb..86cb0b1 100644
--- a/source/wg05/tn/tn001.05.tex
+++ b/source/wg05/tn/tn001.05.tex
@@ -38,7 +38,7 @@ This paper covers the algebraic properties and concepts of `The Execution Semant
 
 Let $F(x, y, z)$ be an Execution Product of variable arguments $x$, $y$, $z$ defined in compatible and composable execution context $E$: \\
 Let the index $\alpha$ denote the current execution domain of an execution product.\\ 
-$F(x, y, z) = \prod_{\alpha}^{n}(x\times y \times z)+C$. Where $C$ is the Unknown Execution of $F(x, y, z)$—now defined as $g(E)$.
+$F(x, y, z) = \prod_{\alpha=1}^{n}(x_{\alpha} \times y_{\alpha} \times z_{\alpha})+C$. Where $C$ is the Unknown Execution of $F(x, y, z)$—now defined as $g(E)$.
 
 \section{The Unknown Execution Property}