Assertion: circuit's gate | /r/HasProperty | labeled by either + \displaystyle +
Facets:
Source sentences:
text: Every other gate is labeled by either + {\displaystyle +} or × ; {\displaystyle \times ;} in the first case it is a sum gate and in the second a product gate.