represents the TemplateBox[{}, CombinatorW] combinator.
CombinatorW
represents the TemplateBox[{}, CombinatorW] combinator.
Details
- The TemplateBox[{}, CombinatorW] combinator has the property that TemplateBox[{}, CombinatorW]xy reduces to .
- No transformations for CombinatorW are applied automatically.
- CombinatorW is output in StandardForm or TraditionalForm as TemplateBox[{}, CombinatorW]. This typeset form can be input using cW.
Examples
open all close allBasic Examples (1)
Apply the standard reduction rules of combinatory logic:
Properties & Relations (1)
The TemplateBox[{}, CombinatorW] combinator can be expressed in terms of TemplateBox[{}, CombinatorS], TemplateBox[{}, CombinatorK] and TemplateBox[{}, CombinatorI] as TemplateBox[{}, CombinatorS]TemplateBox[{}, CombinatorS](TemplateBox[{}, CombinatorK]TemplateBox[{}, CombinatorI]):
See Also
Application CombinatorS CombinatorK
Function Repository: CombinatorConvert CombinatorTraditionalForm
Related Guides
History
Text
Wolfram Research (2020), CombinatorW, Wolfram Language function, https://reference.wolfram.com/language/ref/CombinatorW.html.
CMS
Wolfram Language. 2020. "CombinatorW." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/CombinatorW.html.
APA
Wolfram Language. (2020). CombinatorW. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/CombinatorW.html
BibTeX
@misc{reference.wolfram_2025_combinatorw, author="Wolfram Research", title="{CombinatorW}", year="2020", howpublished="\url{https://reference.wolfram.com/language/ref/CombinatorW.html}", note=[Accessed: 11-January-2026]}
BibLaTeX
@online{reference.wolfram_2025_combinatorw, organization={Wolfram Research}, title={CombinatorW}, year={2020}, url={https://reference.wolfram.com/language/ref/CombinatorW.html}, note=[Accessed: 11-January-2026]}