Merge pull request #619 from k-satoda/ones-twos-complement

Uniform "ones' complement" and "two's complement", per the C standard and Knuth.

Author: zygoloid

source/basic.tex

@@ -3802,8 +3802,8 @@
 begin with 1, and are multiplied by successive integral power of 2,
 except perhaps for the bit with the highest position. (Adapted from the
 \doccite{American National Dictionary for Information Processing Systems}.)}
-\enterexample this International Standard permits 2's complement, 1's
-complement and signed magnitude representations for integral types.
+\enterexample this International Standard permits two's complement,
+ones' complement and signed magnitude representations for integral types.
 \exitexample
 
 \pnum

source/declarations.tex

@@ -1984,7 +1984,7 @@
 for an enumeration where $e_\mathit{min}$ is the smallest enumerator and
 $e_\mathit{max}$ is the largest, the values of the enumeration are the
 values in the range $b_{min}$ to $b_{max}$, defined as follows: Let $K$
-be 1 for a two's complement representation and 0 for a one's complement
+be 1 for a two's complement representation and 0 for a ones' complement
 or sign-magnitude representation. $b_{max}$ is the smallest value
 greater than or equal to $max(|e_{min}| - K, |e_{max}|)$ and equal to
 $2^M-1$, where $M$ is a non-negative integer. $b_{min}$ is zero if

source/expressions.tex

@@ -2527,8 +2527,8 @@
 \indextext{\idxcode{+}|see{operator, unary~plus}}%
 \indextext{operator!logical negation}%
 \indextext{\idxcode{"!}|see{operator, logical~negation}}%
-\indextext{operator!one's~complement}%
-\indextext{~@\tcode{\tilde}|see{operator, one's~complement}}%
+\indextext{operator!ones'~complement}%
+\indextext{~@\tcode{\tilde}|see{operator, ones'~complement}}%
 \indextext{operator!increment}%
 \indextext{operator!decrement}%
 %
@@ -2655,9 +2655,9 @@
 The type of the result is \tcode{bool}.
 
 \pnum
-\indextext{operator!one's~complement}%
+\indextext{operator!ones'~complement}%
 The operand of \tcode{\~{}} shall have integral or unscoped enumeration type; the
-result is the one's complement of its operand. Integral promotions are
+result is the ones' complement of its operand. Integral promotions are
 performed. The type of the result is the type of the promoted operand.
 There is an ambiguity
 in the grammar when \tcode{\~{}} is followed by