User blog comment:Wythagoras/Dollar function formal definition/@comment-1605058-20130618135125

What does square represent in rules 11. and 12.?