<div dir="auto"><div><div dir="auto">How about: -+<br></div><div dir="auto"><br></div><div dir="auto"><div dir="auto">It almost looks arrow like if you squint, and have a font that lines up the horizontal lines.</div><div dir="auto"><br></div><div dir="auto">Cheers,</div><div dir="auto">Mike</div></div><br><div class="gmail_extra"><br><div class="gmail_quote">On 14 Jul 2017 08:32, "Wolfgang Jeltsch" <<a href="mailto:wolfgang-it@jeltsch.info">wolfgang-it@jeltsch.info</a>> wrote:<br type="attribution"><blockquote class="quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="quoted-text">Am Donnerstag, den 13.07.2017, 11:03 +0200 schrieb Joachim Breitner:<br>
> Am Mittwoch, den 12.07.2017, 23:47 +0300 schrieb Wolfgang Jeltsch:<br>
> > Alternatives for “-o” I can think of are “~>”, “-:”, and “-*”, the<br>
> > latter resembling the magic wand operators in the logic of bunched<br>
> > implications and in separation logic, which are similar to the<br>
> > lollipop in linear logic.<br>
><br>
> how about -<> ?<br>
<br>
</div>Hmm, the “<>” part seems to be a bit heavy compared to the little “-”.<br>
<br>
All the best,<br>
Wolfgang<br>
<div class="elided-text">______________________________<wbr>_________________<br>
ghc-devs mailing list<br>
<a href="mailto:ghc-devs@haskell.org">ghc-devs@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-<wbr>bin/mailman/listinfo/ghc-devs</a><br>
</div></blockquote></div><br></div></div></div>