viejos símbolos con los actuales: