Flyspeck/-.elf

- : real -&gt; real -&gt; real. %infix left 6 -.