Soy informático, y uno de mis profesores ha utilizado hoy el símbolo ∝ . Intenté buscar eso usando google, pero no devuelve ningún resultado, y ni siquiera sé su nombre.
Entonces, me gustaría preguntar, ¿qué hace el operador ∝ ¿Qué significa? ¿Cuál es su nombre y cómo se utiliza?