符号∝