F5 or ESC for the command line  ·  on a Mac ⌥1–⌥0 stand in for F1–F10  ·  ⌥1 is help  ·  type PRINT to see it typeset