<\body> in Html> Abbiamo cominciato ad implementare la conversione tra i formati HTML e . Per il momento, è possibile solamente importare documenti HTML utilizzando . La maggior parte di HTML 2.0 e alcune parti di HTML 3.0 sono attualmente supportate. Comunque, non è ancora possibile la navigazione. Nel futuro, implementeremo Math-ML. Quando si importano documenti HTML, i file i cui nomi cominciano con o saranno scaricati dalla rete usando . Se ci si compila personalmente, si può scaricare da <\verbatim> \ \ ftp://ftp.gnu.org/pub/gnu/wget/ Nelle distribuzioni binarie, è già incluso. <\initial> <\collection> <\references> <\collection> |?>> <\auxiliary> <\collection> <\associate|idx> |File>||Importa>||Html>>|>