<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">% vim: set spelllang=nl:
\documentclass[a4paper]{article}

\title{De semantiek van Smurf} %todo working title
\author{Ward Theunisse, Evi Sijben en Camil Staps}

% Standaard packages
\usepackage[hidelinks]{hyperref}
\usepackage[utf8]{inputenc}
\usepackage[dutch]{babel}
\usepackage{geometry}

% Taakspecifieke packages
\usepackage{amsmath}
\usepackage{prooftree}
\usepackage{stackrel}
\usepackage{syntax}

% Eigen packages
\usepackage{smurf}

% Fix voor babel dutch
\everymath{\shorthandoff{"}}

</pre></body></html>