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)?
Update: Please do not answer explaining how to use the integer division on this or that programming language. This question is strictly on the formalism to represent this operation.