Hi there! I am spanish and I also think that it shoule be asciitilde. Again, there is no character in the Spanish language that would need it as a dead key. Thanks!! -- M