What does the keyboard shortcut ⌥⇞ mean?

I'm in need of a translator for ⌥ ⇞

This screen shot below is from the TexStudio and Texmaker latex editors.

screen capture of two glyphs


- 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.