A relational symbol combining a double colon and approximation to denote categorical equivalence or approximate isomorphism.
TeXipedia
A relational symbol combining a double colon and approximation to denote categorical equivalence or approximate isomorphism.