请问有谁知道正比于符号