flecha doble (flecha doble): símbolo que se usa para indicar un cambio más complejo o más extenso que el cambio señalado por la flecha sencilla (flecha sencilla). Generalmente se incluye a la izquierda de la flecha doble la descripción estructural entera para el cambio (los segmentos que se cambian, con todo y el contexto o ambiente necesario), y a la derecha se repiten todos los mismos elementos como se ven después del cambio. Por ejemplo, A B C flecha doble Ø C B indica que dados elementos A, B, y C en ese orden, se suprime A y se trasponen los otros dos elementos para que C preceda a B. A veces se escribe ==>, por usar sólo símbolos alcanzables en casi todos los teclados. [inglés: double arrow]