ドイツ語でKonstant

K\equiv\lambda x y.x

定数関数

Haskellの const

チャーチブール値のtureを表すものと同じ

だからTと書くこともあるらしい