LaTeX-ressurser for INF1800

Her er litt om LaTeX for de som er interessert.

F?lgende dokument inneholder litt av det man skulle trenge for ? f.eks. skrive obligatoriske oppgaver i LaTeX. (Sist oppdatert: 20. oktober 2008)

• Litt LaTeX for INF1800 (latex.pdf)
• Kildekoden til dokumentet (latex.tex)

Her er noen nyttige lenker.

• LaTeX for Logicians
• om ? lage bevistr?r
• bussproofs.sty
• The Comprehensive LaTeX Symbol List (PDF)