La notación especial formula_11 es usada en el contexto de la informática para ""logaritmo binario iterado"", que itera la función logaritmo en base dos (muy común en el área de la informática).