pub type Square<U> = <U as UnitMul<U>>::Output;Expand description
The unit a quantity of unit U carries once squared.
A tensor squared against itself — its norm squared, the trace of its square,
the invariant built from the two — carries this rather than nothing. Spelling
the projection out at every use would crowd out the signatures, as it would
for a Derivative.