<div dir="ltr">On Thursday, April 17, 2014 1:49:31 AM UTC+2, Dan Burton wrote:<br><blockquote class="gmail_quote" style="margin: 0;margin-left: 0.8ex;border-left: 1px #ccc solid;padding-left: 1ex;"><div dir="ltr">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.</div></blockquote><div><br></div><div>(#) does not look too bad either. </div></div>