“double-tap to zoom” is another name for Double tap.