From 60f59e58e6bb935ca027dbd9b41f020ece5486d9 Mon Sep 17 00:00:00 2001 From: Amlal El Mahrouss Date: Tue, 27 Jan 2026 16:14:18 +0100 Subject: chore: update technical note. Signed-off-by: Amlal El Mahrouss --- source/wg05/tn/tn001.05.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'source') 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} -- cgit v1.2.3