I've tried to search for the meaning of the colon symbol in the context shown below and can't find an answer. I don't think "such that" makes sense in the formulation below so I'm not sure how to read it. Hoping someone here can help. Thank you.
$$\min_\Gamma\int_{D(\Gamma)}\frac{1}2\nabla y:\nabla y \space dx$$