WordPress menu in a shortcode

Source:

Call a navigation menu using a shortcode