::
Scusa se rispondo così in ritardo.
Ho installato MikTEX 2.9 su Windows, poi ho aperto il terminal di DOS e ho navigato alla distrib MiKTeX 2.9. Poi però non mi riconosce il comando: `texdoc symbols `
Viene un errore “documentation for symbols could not be found”
