-%% Translation of GIT committish: f39a9724d9f51ed9d0d464689ef62f549d7b8dd6
+%% Translation of GIT committish: b2d4318d6c53df8469dfa4da09b27c15a374d0ca
texidoces = "
Del problema central de la notación, esto es, crear un determinado
símbolo, se encargan los «plugins» o complementos añadidos. Cada