diff --git a/editors/vscode/README.md b/editors/vscode/README.md
index 61694845a..fc6678e72 100644
--- a/editors/vscode/README.md
+++ b/editors/vscode/README.md
@@ -5,14 +5,16 @@ This extension provides support for the [Lambdapi](https://github.com/Deducteam/
 Goals are visualised in a panel on the right side of the editor.
 You can navigate in proof with the following key-bindings:
 
-- ``Ctrl+Right``: go one step forward
-- ``Ctrl+Left``: go one step backward
-- ``Ctrl+Up``: go to the previous proof (or the beginning)
-- ``Ctrl+Down``: go to the next proof (or the end)
+- ``Ctrl+Right`` (``Ctrl+fn+Right`` in `Mac OS X`): go one step forward
+- ``Ctrl+Left`` (``Ctrl+fn+left`` in `Mac OS X`): go one step backward
+- ``Ctrl+Up``: go to the previous proof <sup>*</sup> (or the beginning)
+- ``Ctrl+Down``: go to the next proof <sup>*</sup> (or the end)
 - ``Ctrl+Enter``: go to the position of the cursor
 - ``Ctrl+Alt+c``: toggle cursor mode (proof highlight follows the cursor or not)
 - ``Ctrl+Alt+w``: toggle follow mode (proof highlight is always centered in the window when keybindings are pressed)
 - ``Shift+Alt+w``: center proof highlight in the current window
+  
+  <sup> *</sup> In `Mac OS X`, ``Ctrl+Up/Down/Down`` are the shortcuts for switching between workspaces. We recommand the definition of new key bindings for `go to the previous/next proof` in ``Code->Preferences->keyboard shortcuts`` (also reachable with `Command+K Command+S`). The advised shortcuts  are `Ctrl+Option+Up` and `Ctrl+Option+Down`
 
 **Hover and go-to-definition**