What does the symbol "::" mean in computer science?
It is a delimiter between to parts of expression. You can think of it as notation for the English phrase 'such that'.
Read your formula as $`` \forall x\in K \text{ such that } x \longrightarrow x"$.