* John Baez and Mike Stay, [Physics, topology, logic and computation: a Rosetta Stone](http://arxiv.org/abs/0903.0340) in _New Structures for Physics_, ed. Bob Coecke, Lecture Notes in Physics vol. 813, Springer, Berlin, 2011, pp. 95-172.

I found the string diagram for lollipops from the paper above and redrew them showing \$$a \otimes x \le y \text{ if and only if } a \le x \multimap y \$$. It's a pretty dynamic symbol propping up the string on the other side.

![lollipop string diagram](http:\\aether.co.kr/images/lollipop_string_diagram.svg)