Archived tweet #8828 from the @leastfixedpoint Twitter Archive

.@prathyvsh It is a graphical notation for ((λx. f (x x)) (λx. f (x x))), the heart of the Y combinator, which yields Least Fixed Points :-)