diff options
Diffstat (limited to 'source')
| -rw-r--r-- | source/wg05/tn/tn001.05.tex | 2 |
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} |