User blog comment:Wythagoras/Dollar function formal definition/@comment-7484840-20130616082905/@comment-80.101.234.232-20130616085738

Oops, I didn't explain that a comma is shorthand for a level 0-arrow, and a non-labeled arrow shorthand for a level 1-arrow