Flyspeck/ lt gt.elf

Actual title of this page: &lt;&gt;

&lt;&gt; : real -&gt; real -&gt; o. %infix none 4 <>.