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)