Re: Ambiente align*

tornando a noi, viene molto bene con quel comando, cosa fa di preciso?

comunque trattasi di una funzione definita per casi ed e’ molto lunga perche ad ogni caso devo dare una decina di righe di codice java 😀

Ho semplicemente detto di rendere “flessibile” l’interlinea, in modo che TeX possa allargare le spaziature fra una riga e l’altra. Puoi anche, per maggiore sicurezza, aggiungere
`\setlength{\lineskip}{1\lineskip plus .2\baselineskip}`
Non pensi che sarebbe meglio aggiungere alla lunga lista di casi anche qualche paragrafo per spiegare al lettore dove si trova?

Ciao
Enrico

PS Esistono sistemi formali che ammettono una prova di coerenza con metodi formalizzabili all’interno del sistema. Per esempio il calcolo proposizionale.