From 9b4cc65ed287c7a41e4a2354de9fb27fc0b66a08 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Mon, 23 May 2016 21:48:21 +0200
Subject: + nog een bestand

---
 defmeta.tex | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)
 create mode 100644 defmeta.tex

diff --git a/defmeta.tex b/defmeta.tex
new file mode 100644
index 0000000..51f5ddd
--- /dev/null
+++ b/defmeta.tex
@@ -0,0 +1,19 @@
+% vim: set spelllang=nl:
+\subsection{Metavariabelen}
+\label{sec:def:meta}
+We zullen de volgende metavariabelen gebruiken:
+
+\begin{description}[labelindent=\parindent]
+	\item[$a$] voor typen,
+	\item[$c$] voor karakters ($\Char$),
+	\item[$s$] voor strings ($\String$),
+	\item[$\var$] voor strings die als naam van een variabele worden gebruikt,
+	\item[$\val$] voor strings die als waarde van een variabele worden gebruikt,
+	\item[$e$] voor elementen van stacks ($a$ voor een element van $\Stack{a}$),
+	\item[$\stk$] voor stacks ($\Stack{a}$ voor willekeurige $a$),
+	\item[$\ip$] voor inputstacks ($\Input$),
+	\item[$\op$] voor outputstacks ($\Output$),
+	\item[$\pgm$] voor programma's ($\Pgm$),
+	\item[$\st$] voor toestanden ($\State$) en
+	\item[$\str$] voor variable stores.
+\end{description}
-- 
cgit v1.2.3