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.