∷ — PROPORTION (U+2237)