unicode: representations of common android control keys