Flyspeck/ gt=.elf

Actual title of this page: &gt;=

&gt;= : real -&gt; real -&gt; o. %infix none 4 &gt;=.