How about: -+ It almost looks arrow like if you squint, and have a font that lines up the horizontal lines.
Cheers, Mike On 14 Jul 2017 08:32, "Wolfgang Jeltsch" <[email protected]> wrote: Am Donnerstag, den 13.07.2017, 11:03 +0200 schrieb Joachim Breitner: > Am Mittwoch, den 12.07.2017, 23:47 +0300 schrieb Wolfgang Jeltsch: > > Alternatives for “-o” I can think of are “~>”, “-:”, and “-*”, the > > latter resembling the magic wand operators in the logic of bunched > > implications and in separation logic, which are similar to the > > lollipop in linear logic. > > how about -<> ? Hmm, the “<>” part seems to be a bit heavy compared to the little “-”. All the best, Wolfgang _______________________________________________ ghc-devs mailing list [email protected] http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
_______________________________________________ ghc-devs mailing list [email protected] http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
