Flyspeck/ plus.elf

Actual title of this page: +

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