Assertion: logic's operator | /r/CapableOf | have for intuitionist
Facets:
Source sentences:
text: ’, ‘\(\rightarrow\)’ and ‘\(\forall\)’ in order to accommodate the special meanings these operators have for intuitionists, and ‘\(\Box\)’ is generally not used.