Dear sirs, Spanish and other european users would like that the keyboard us_intl be defined using symbols us(intl) and not us(alt-intl) as it is right now. That keyboard layout would be similar to windows US-International. I suggest defining a different layout, perhaps us_alt-intl for the symbols us(alt-intl). Rodrigo Medina