%% Translation of GIT committish: b482c3e5b56c3841a88d957e0ca12964bd3e64fa texidoces = " Los elementos de marcado de texto deben tener la propiedad @code{outside-staff-priority} establecida al valor falso para que se impriman por dentro de las ligaduras de expresión. " doctitlees = "Situar los elementos de marcado de texto por dentro de las ligaduras"