What does the symbol $\propto$ represent in a formula?