Making my own comments an answer.
Concerning the first question: as I already mentioned the notation $\textbf A:\textbf B$ most likely refers to the Double Dot Product. What exactly happens here (more precise what is multplied here) is, at least to me, not entirely clear since I am not that experienced within this field of mathematics and especially I have never encountered the Double Dot Product, as representative of products of dyadics, before. However, within the Wikipedia article of the Navier Stokes equations, subsection Compressible Flow (and it's used within Incompressible Flow too) it is also used as Double Dot Product from were I can conclude that is then which it refers to here. Additionally, the arcticle you linked calls it "double dot".
Concerning the second question: this one is one of the two commonly used quantifiers. On the one hand we got the exitential quantifier $\exists$ (\exists
in Tex, read as "there exists...") and one the other hand the universal quantifier $\forall$ (\forall
in Tex, read as "for all..."). Here we read $\forall\underline v$ as "for all vectors $v$" and similiar $\forall q$ as "for all scalars $q$" (the information of vectors and scalars is not included within the quantifiers but within the remaining notation).
\forall
) indeed is read as "for all v". $\endgroup$