Flyspeck//.elf

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