represents the TemplateBox[{}, CombinatorS] combinator.
CombinatorS
represents the TemplateBox[{}, CombinatorS] combinator.
Details
- The TemplateBox[{}, CombinatorS] combinator has the property that TemplateBox[{}, CombinatorS]xyz reduces to .
- No transformations for CombinatorS are applied automatically.
- CombinatorS is output in StandardForm or TraditionalForm as TemplateBox[{}, CombinatorS]. This typeset form can be input using cS.
Examples
open all close allBasic Examples (2)
Apply the standard reduction rules of combinatory logic:
Use the axioms of combinatory logic to prove the TemplateBox[{}, CombinatorS] identity:
Applications (1)
Prove an identity among combinators:
Properties & Relations (1)
The TemplateBox[{}, CombinatorS] combinator is equivalent to the term :
See Also
Function Repository: CombinatorConvert CombinatorStep CombinatorEvolve CombinatorEvolutionGraph CombinatorTraditionalForm CombinatorEvolutionPlot CombinatorToDAG ChurchCombinator CombinatorPlot CombinatorMatches CombinatorBracketsPlot CombinatorEvolveList EnumerateCombinators SKCombinatorLeftmostOutermostFinalExpression SKCombinatorLeftmostOutermostLeafCounts SCombinatorHaltsQ SKCombinatorCompile RandomCombinator
Related Guides
History
Text
Wolfram Research (2020), CombinatorS, Wolfram Language function, https://reference.wolfram.com/language/ref/CombinatorS.html.
CMS
Wolfram Language. 2020. "CombinatorS." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/CombinatorS.html.
APA
Wolfram Language. (2020). CombinatorS. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/CombinatorS.html
BibTeX
@misc{reference.wolfram_2025_combinators, author="Wolfram Research", title="{CombinatorS}", year="2020", howpublished="\url{https://reference.wolfram.com/language/ref/CombinatorS.html}", note=[Accessed: 08-January-2026]}
BibLaTeX
@online{reference.wolfram_2025_combinators, organization={Wolfram Research}, title={CombinatorS}, year={2020}, url={https://reference.wolfram.com/language/ref/CombinatorS.html}, note=[Accessed: 08-January-2026]}