Как применяется знак ∷? На юникоде ковырялся с разными знаками и наткнулся на этот. Название знака "пропорция". Но как он применяется непонятно.

Предыдущий
вопрос Следующий
вопрос

Знак ∷, также известный как знак пропорции, используется для обозначения отношения между двумя величинами. Например, если у нас есть два числа a и b, то мы можем записать отношение между ними как a ∷ b. Этот знак также может использоваться для обозначения деления, например, a ∷ b также может быть интерпретировано как a/b.

Таким образом, знак ∷ применяется при написании математических выражений для обозначения отношения или деления между двумя величинами.