::
Mi sa proprio che li riconosce!
Tuttavia, state attenti! Se avete installato ANCHE texmaker, importerà direttamente le impostazioni di texmaker: tanto per capirci, io mi sono ritrovato xelatex SIA su pdflatex, SIA su xelatex.
In generale, mi pare più potente, ma in definitiva…. Boh!
