13 Jul
2017
13 Jul
'17
6:31 p.m.
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