Are you asking what this symbol \displaystyle \displaystyle \begin{align*} \leq \end{align*} is used for?