Update INSTALL.md

coq-community · Jan 11, 2024 · b1a9658 · b1a9658
1 parent ea04707
commit b1a9658
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/INSTALL.md b/INSTALL.md
@@ -95,9 +95,9 @@ goal generated by Trocq to replace the initial one. The process should be almost
 instantaneous on all the examples. Please note that on the first time a line is
 clicked in a file, the proof state can take a few seconds to update.
 
-If you have unexpected errors press "Ctrl-Shift-P" to get the command palette
+**If you have unexpected errors** press "Ctrl-Shift-P" to get the command palette
 and type `Coq LSP: Restart the Coq Language Server` and enter to reload the
-Coq <-> VSCode communication.
+Coq $\leftrightarrow$ VSCode communication.
 
 ### Example from the artifact paper