Tilda Shortcut

I’ve been using Ubuntu Mate 16.04 (Beta) for a little while and really like it. One of my favorite things is tilda (drop down terminal). The default keyboard shortcut is F12. But since I’m using my MacBook Pro and I prefer to have the media keys available,...