The integer division is a common and useful operation in Computer Science. It comes up in many domains, as in the manipulation of matrices and grids.
Is there any formal symbol for this operation? Or at least a widely recognisable symbol that can be easily differentiated from the standard division (i.e. inverse of multiplication)?