notation
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)?
As @DavidRicherby implies out in a comment below, one should ideally distinguish carefully the history of the dot notation from the possible reasons for keeping it, retaining it, or modifying its usage. Unfortunately although I am qualified by age (66) to comment on the last 50 years, I am otherwise ill-qualified to deal with the history (for which see when and by whom and also the answers by @hjhjhj57 and @RobertSoupe). So what follows may sometimes seem to mix history and reasons and at times get the history wrong. It is intended as one individual's take on reasons. Note also that having only lived in the USA for about 3 years (2 years LA, and 6 months each in NY and Colorado), I am much more familiar with the UK scene than the USA scene, and know almost nothing about other countries.
There are multiple reasons. Perhaps the most important is a desire to make the notation as concise as possible. The change is not really from $a\times b$ to $a\cdot b$. It is from $a\times b$ to $ab$. In many undergraduate algebra books, and at the research and journal level, the "multiplication" operation is just denoted by juxtaposition. But then that is also true in some maybe most schools for teenagers. Glancing at the 2014 Core Maths papers from one of the leading UK exam boards for the "A-levels" (the final exams for most pupils), they seem to use juxtaposition exclusively. On the other hand papers for GCSE maths (typically taken age 16) seem to use $246\times10$.
This is also linked to a desire for speed. There are significantly less keystrokes in $ab$ than in either $a\times b$ or $a\cdot b$ if you are using LaTeX. Perhaps more important, being more concise, juxtaposition is easier to read. But as @DavidRicherby points out in a much upvoted comment below, LaTeX has come late to the party, so it may have a minor role in maintaining the status quo, but could not have helped to bring it about.
Another reason is avoiding ambiguity. For example $3^25$ is unambiguous because the exponent separates the $3$ and $5$. But in LaTeX if you try to write $3\cdot5^2$ by juxtaposition you have to insert a special space to get $3\ 5^2$ and the outcome is still not entirely satisfactory. But I may pay too much attention to such matters, because having published two books in the last two years, I wonder how anyone manages to combine writing math books with a full-time job, the work involved is horrendous!
Another reason may be that 3D vectors are often introduced early, and have two multiplication operations: the dot product and the cross product. So one is forced to use two different symbols to avoid ambiguity. Of course, one could avoid that by using the tensor subscript approach, and how all that is handled has a fashion element in it. For the last few decades for example, there has been a campaign to move us towards Clifford or "geometric algebras" (where the cross product is frowned on and the wedge product is key).
Note also that $a\cdot b$ often does not represent ordinary multiplication. Of course $3\cdot5$ almost always does, but as one moves through undergraduate work into graduate work $a\cdot b$ is increasingly used to represent operations other than the ordinary multiplication (of integers, reals etc).
As @Kundor correctly points out, the OP's real question could be seen as why teach $5\times 6$ in the first place? I have never tried to teach anyone younger than about 9. But I am fairly sure that trying to use juxtaposition when arithmetic is first introduced would be a non-starter. So the question becomes why not start with $5\cdot6$, instead of moving to it years later?
That seems to me a mixture of history and psychology. I want to keep away from the history if possible, but the psychology does not surprise me. Making sensible changes to familiar things is hugely difficult when large numbers of people are involved, particularly when it is completely unclear to them how the change will benefit them. I clearly remember the UK's move from the old "pounds, shillings and pence" (with 12 old pence to the shilling, 20 shillings to the pound). It required a massive campaign by the government. In that case it was obvious that a simple 100 new pence to the pound would be much easier, but few people wanted to switch, having got used to the old currency.
Another example is the difficulty we have had in the UK moving from fahrenheit to celsius for temperature. All our weather forecasts are now in celsius (or rather centigrade - the identical system with a different name), but it took years to get most people to accept it. The old system was bizarre (bp of water 212, fp 32), yet I believe it is still used in the USA!
Or take miles. The SI unit is km. But there seems no prospect of the UK changing all its road signs to km for the foreseeable future. Remember this is a country where we drive on the wrong side of the road. When I was commuting backwards and forwards to LA and picking up rental cars at LAX and my own car at LHR, the only way I could find to remember it, was that I had to drive so that I was as near the centre of the road as possible. Mercifully I never got the wrong kind of car.
So changing the status quo is tough. Time to make an obvious point: MSE is read in many countries, and practices vary widely, often even within countries. @Chieron 's much upvoted comment under the question notes that some schools never use $3\times4$, but start with $3\cdot4$.
Similarly, I have tended to focus above on differences relevant to teenagers and undergraduates, but @BenC 's answer makes the excellent and easily overlooked point about potential and actual confusion between the centre dot and the decimal point.
Again, @RobertSoupe (in his answer) makes the excellent point (which I managed to overlook entirely) about potential confusion between times $\times$ and the variable $x$ when children move on from learning tables to slightly more advanced maths. See also the comment by @user21820 below.
I would also draw attention to some comments by @snulty. Under the question he and @MauroALLEGRANZA note that Descartes used $x$ for unknown and juxtaposition for multiply (which shows how tricky historical discussion can be unless you are well briefed)! I also highly recommend snulty's answer. I am ill-qualified to comment on the truth, but it certainly sounds highly plausible.
Wikimedia Rene Descartes after Frans Hals
A final observation. One of the simultaneously delightful and frustrating aspects of the academic world is that diktats do not work. To persuade people to change their usage can take generations. Sometimes (as with the great Classical Statistics debacle) one has to wait more than a century to get important changes widely accepted. Notation is particularly tricky. New areas of maths are constantly emerging and people are constantly hijacking old symbols for new uses, so that at any moment notation often appears inconsistent across the whole field. It is hard to see what can be done to change that. So $a\times b$ can still mean ordinary multiplication, but sometimes it means vector product, even though there is no boldface or under- or over-lining to make clear that $a,b$ are vectors.
So context is always king.
I could not resist adding this (a facsimile of a page of Descartes (1596-1650) ):
In abstract algebra, when words are formed using letters from an alphabet, the operation of joining two words together with no symbol in-between is called concatenation.
Now I wouldn't recommend that in a case where the left and right sides are mathematical objects of a different nature. In that case, it seems that juxtaposition is fine - I have seen it used at least a couple of times, and I don't feel that it carries a connotation in a mathematical context. And if you want to be extra clear, you can add some words the first time you use it, in a footnote for instance.
Best Answer
$\lfloor a/b \rfloor$ (@barakmanos comment suggestion's) is probably the only formal way to express this, without creating new definitions.
Alternatively, you could follow @Henry 's suggestion to explicitly define a symbol to do the integer division operation. The common ones are \ (backslash, as opposed to / forward slash used for regular division), or div.
The advantages of using $\lfloor a/b \rfloor$ are that:
The edit suggested in the comment (@Tonyk) arguably invalidates the second advantage, since $a/b$ will likely also be an integer in indexing problems. I would personally still prefer the $\lfloor a/b \rfloor$ notation, simply for the first point.