From 492609d68c6f57151469ff8de897409f9876e2f1 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Fri, 12 Feb 2016 14:51:16 +0100
Subject: [PATCH] docs: we are going to have namespaces
---
docs/setup.tex | 1 +
1 file changed, 1 insertion(+)
diff --git a/docs/setup.tex b/docs/setup.tex
index fca700a2c..cdc22c152 100644
--- a/docs/setup.tex
+++ b/docs/setup.tex
@@ -312,6 +312,7 @@
\newcommand{\inameB}{\iota'}
\newcommand{\mask}{\mathcal{E}}
+\newcommand{\namesp}{\mathcal{N}}
%% various pieces of Syntax
\newcommand{\unitsort}{1}% \unit is bold.
--
GitLab