Consider two real valued vectors $x$ and $y$. Suppose $x$ is $m$ dimensional and $y$ is $n$ dimensional with $n \ge m$. What is good notation for the function which returns an $n-m+1$-dimensional vector whose $i$th element is $$f(x,y)[i] = \sum_{j=0}^{m-1} x[j] y[i+j] \;?$$
Should it be
$$f(x,y) = x \star y \;?$$