¿Qué canal televisivo español fue el primero en tener un signo en lugar de un número?