Hans Åberg-2 wrote > The lambda comes from the book by Alonzo Church, "The Calculi of > Lambda-conversion", which is a logic theory about function applications, > but it is unknown why he choose the letter lambda, though a prefix > notation makes it easier to carry out formal proofs. It then caught on in > the computer community.
As far as I know, Church originally used a "hat" accent ^. From there, it's not far to a Greek Λ and its lower-case form λ. All the best, Torsten -- Sent from: http://lilypond.1069038.n5.nabble.com/User-f3.html _______________________________________________ lilypond-user mailing list lilypond-user@gnu.org https://lists.gnu.org/mailman/listinfo/lilypond-user
