Folks, I'm reading this paper: User Adaptive QRS Detection Based on One Target Clustering and Correlation Coefficient, and have a question about notation.
In describing peak-detection, they use the following notation:

I understand this to mean something like for j=0 to 2: S(i-j) should be greater than S(i-j-1), and S(i+j+1) should be greater than S(i+J), where S is the signal.
But what is that up arrow symbol called? Is it just a logical and? As in this must be true for each of the j?
Thanks!