The symbols "A" and "B" are not symbols of the object language formula_1, they are metavariables in the metalanguage (in this case, English) that is discussing the object language formula_1.
los símbolos A y B son metavariables de un metalenguaje (el español) que representan oraciones de un lenguaje objeto (el lenguaje de la lógica proposicional).