title: How do you tell the CoqIde I want to use the apple keyboard “Command” for navigation of the proof?
body: <p>I want to have for my modifier navigation bar to have the "apple Command" keyboard button but I don't know how to tell my coqiderc what it is. </p>
  
  <p>I tried:</p>
  
  <pre><code>modifier_for_navigation = "&lt;Command&gt;"
  </code></pre>
  
  <p>but it didn't work. How do I do this in a Mac?</p>
  
  <hr>
  
  <p>reference cite: <a href="https://github.com/coq/coq/wiki/Configuration-of-CoqIDE" rel="nofollow noreferrer">https://github.com/coq/coq/wiki/Configuration-of-CoqIDE</a></p>