#2687 Division Notation
Science tip: Scientists hardly ever use the two-dot division sign, and when they do it often doesn't even mean division, but they still get REALLY mad when you repurpose it to write stuff like SALE! ALL SHOES 30÷ OFF!
https://xkcd.com/2687/
Follow
#2687 Division Notation
x ÷ y integer divide x / y, truncated to an integer
https://docs.julialang.org/en/v1/manual/mathematical-operations/
