User blog:Alemagno12/Another lambda notation

To avoid confusion with my other lambda notation, this one uses a lowercase psi instead of an uppercase psi.

[WIP]