Flyspeck/*.elf

* : real -&gt; real -&gt; real. %infix left 7 *.