Indicadores económicos para el día martes 9 de mayo de 2023, en Colombia.