Per quanto compete LyX, per quanto sia un codice brutto e ‘inusuale’ da vedere, credo che sia il minimo che sia portabile da un sistema ad un altro (dove per portabile intendo solamente che lo stesso sorgente generi un file oggetto funzionante e nient’altro). D’altronde, è lo stesso programma compilato su piattaforme diverse; se fossero due programmi diversi fra piattaforme diverse, una portabilità non perfetta potrebbe anche essere normale.
Sul fatto che poi nella versione Windows possano avere cambiato qualcosa in fatto di backend (funzionamento di LyX nei confronti della distribuzione [La]TeX) è anche possibile. Per vedere se è colpa di LyX o della distribuzione [La]TeX, credo che la cosa migliore sia produrre un documento LaTeX puro (non con LyX, quindi) che riproduca il problema e compilarlo su entrambi i sistemi, confrontando poi i risultati.
Altre idee che mi passano per la mente è che nel sistema MacOS X ci possano essere dei patterns di sillabazione diversi da quelli di MiKTeX (quanto e in che modo, non saprei), sempre che entrambi i sistemi abbiano attivato la sillabazione per l’italiano 😛 Altro motivo potrebbe essere diverse specifiche per il font CMR sui due sistemi, ma lo trovo alquanto improbabile.
Una ultima precisazione: questo è un forum di supporto a TeX e LaTeX, non a LyX. Non abbiamo nessun tipo di prevaricazione contro quest’ultimo, ma se avrete problemi non sapremo come aiutarvi. Come hai visto, le cose potrebbero essere molto complesse e ‘debuggare’ un problema con un livello in aggiunta (livello che peraltro non si conosce così bene) è pressoché impossibile.
Ciao.