# ∷ U+2237 PROPORTION