tes are supplied for this purpose. When
    applying the two-argument form of a template, the desired return type of
    the operators typically determines which of the two types in question
    should be derived from the operator template. For example, if the result
    of <code>T&nbsp;+&nbsp;U</code> is of type <code>T</code>, then
    <code>T</code> (not <code>U</code>) should be derived from <code><a href=
    "#addable2">addable&lt;T, U&gt;</a></code>. The comparison templates
    (<code><a href="#less