DOUBLING, in the military art, is the putting two ranks or files of soldiers into one. Thus, when the word of command is double your ranks, the second, fourth, and six ranks march into the first, third, and fifth, so that the six ranks are reduced to three, and
the intervals between the ranks become double what they were before.