@ColinTheMathmo
I also studied when I was i elementary to do division with ":", and it was in textbooks too. They changed that when I was 6th or 7th grade.