Colón (currency) Bar (diacritic) Christopher Columbus Costa Rican colón ISO 4217 Salvadoran colón Unicode