diff --git a/onelab.html b/onelab.html
index ad43366e2eeb0cc2afefa5a0d7ccad683a6a3f0b..b776557515d306f41fd103eb4b9ff22092565779 100644
--- a/onelab.html
+++ b/onelab.html
@@ -84,7 +84,7 @@ or not) can be easily interfaced as well.
 
 <div class="small">
   <a name="1"><sup>*</sup></a> Desktop versions require Windows 10, Linux with
-  glibc >= 2.24, or macOS >= 10.15
+  glibc &ge; 2.24, or macOS &ge; 10.15
 </div>
 
 <h2>Additional information</h2>