text: Пусть T {\displaystyle \mathbf {T} } и U {\displaystyle \mathbf {U} } — термы и ∁ {\displaystyle \complement } — субстантивный знак веса 2, тогда знакосочетание ∁ T U {\displaystyle \complement TU} также является термом и обозначается ( T U ) {\displaystyle (\mathbf {TU} )} .