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 sixth 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.
among hunters, who say that a hare doubles, when she keeps in plain fields, and winds about to deceive the hounds.
in the manege, a term used of a horse, who is said to double his reins, when he leaps several times together, to throw his rider: thus we say, the ramingue doubles his reins, and makes pontilevis.
in navigation, the act of sailing round, or passing beyond, a cape or promontory, so as that the cape or point of land separates the ship from her former situation, or lies between her and any distant observer.