Все дело в том, что Вольфрам не интерпритирует ":" как оператор деления. Для деления есть специальный знак (см. скриншот). Поэтому для того чтобы корректно воспроизвести пример, нужно использовать знак деления.
А для ":" в документации Вольфрама нет внятного определения и он интерпретируется не пойми как, исходя из логики приложения, а не математики.