@ColinTheMathmoI 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.