I'm in need of a translator for ⌥ ⇞
This screen shot below is from the TexStudio and Texmaker latex editors.

|
|
|
⌥ - Is the Option key, also called Alt. ⇞ - It's called Upwards Arrow with Double Stroke, and usually represents page up. If your keyboard lacks that specific key, doing Fn+↑ does the trick. |
||||