Tilde is "asciitilde". Page up and Page down are Prior and Next. The return key is <RTRN>. In general, you can find names of symbols by running xmodmap -pke on your desktop.