La simbología de los elementos forzados y de los elementos de forzado y de cota indica las posibles ambigüedades e incoherencias en el diseño.

• Si una construcción o variable se ha definido completamente mediante forzados o es constante, significa que está debidamente restringida y es de color blanco uniforme.
• Si una construcción o variable no se ha definido completamente mediante forzados, significa que faltan forzados y se muestra como una línea discontinua de color amarillo.
• Si un forzado se aplica a un conjunto de construcción que ya está debidamente restringido, es redundante y se muestra como una línea discontinua de color rojo.

Los forzados válidos se muestran como se indica a continuación:

La ambigüedad restante en un diseño se sintetiza a través de un número "llamado grados de libertad." Cada nueva construcción añade grados de libertad como se indica a continuación:

Cada forzado válido elimina uno o más grados de libertad.

Un diseño debidamente restringido tiene un grado de libertad cero y ningún forzado redundante. Todas las construcciones están debidamente restringidas (son de color blanco).

Si el número de grados de libertad no es cero, significa que en algunas partes del diseño faltan forzados (de color amarillo).

Cuando se añade un forzado, se muestran los grados de libertad restantes, seguidos por el mensaje "Demasiados forzados" si hay algún forzado redundante.