
16 Apr
2014
16 Apr
'14
11:56 p.m.
On Thursday, April 17, 2014 1:49:31 AM UTC+2, Dan Burton wrote:
In the "lens" package, this is (&) at infixl 1. In the "diagrams" package, this is (#) at infixl 8. You're certainly not the first to want this, but nobody can ever agree what it should be called or what fixity it should have. You can always just define it yourself.
(#) does not look too bad either.