TCombinator
SymbolBirdCombinator
SStarlingS
BBluebirdS(KS)K
EEagleB(BBB)
TTanimbarT
JJayB(BC)(W(BC(B(BBB))))
\[T (J S B E) \xrightarrow{\beta} T (S B (S E B))\] \[\xrightarrow{\alpha} (\lambda x. 1) (S B (S E B))\] \[\xrightarrow{T} 1\]

Tanimbar is the TCombinator