Talk:Diamond operator

coincidence?
Are these named after Fred Diamond (one of the authors of the only reference we now have in this article) or is that just a coincidence? —David Eppstein (talk) 05:45, 16 November 2012 (UTC)