I came across the notation $\renewcommand{vec}[1]{\mathbf{#1}}$ $$\text{flow}(\vec{x},\vec{y},t) \equiv \bigwedge_{j=1}^{n} \exists \vec{z}\in I : y_j-x_j = t\cdot f_j(\vec{z}).$$ equation when reading the paper Light-weight hybrid model checking facilitating online prediction of temporal properties in preparation for my master's thesis, but I have never seen the triangle symbol (with the $n$ on top) in front of the right hand side before.
Can someone tell me what it does or at least what it is called so I know what to look for myself? It reminds me of the intersection operator, but that one should be round, right? Or is this an alternative way of writing it?