Special mac keys (launchpad)

Hi,

I would like to emulate the “Launchpad” button of an Apple Keyboard, which is on F3 key.
Which is its Key_* macro?

In …/avr/libraries/Kaleidoscope/src/key_defs_* I did not found it directly, perhaps it has another name.

Anyway I have workaround: map eg. LCTRL(LSHIFT(LGUI(LALT(M)))) to a key in an layer and configure macOS to use the above key shortcut to start Launchpad. This shortcut is quite hard to press normally, it’s unlikely that it’s mapped to anything else…