From eb5abd20f167258b56552d88150a9fd98244fe1f Mon Sep 17 00:00:00 2001
From: regnat <rg@regnat.ovh>
Date: Mon, 24 Apr 2017 17:23:42 +0200
Subject: [PATCH] Fix typesetting in reduction contexts

---
 semantics/semantics.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/semantics/semantics.tex b/semantics/semantics.tex
index ef27f03..43de78e 100644
--- a/semantics/semantics.tex
+++ b/semantics/semantics.tex
@@ -53,9 +53,9 @@ figure~\pref{fig:semantics:nix-light:patterns}
 \begin{figure}
   \begin{grammar}
     \bfseries
-    <E> ::= [] \| \meta{E e}
+    <E> ::= [] \| \meta{E} \meta{e}
     \alt \meta{E.a} \| \meta{E.a} or \meta{e} \| \meta{v.F} \| \meta{v.F} or \meta{e}
-    \alt \{ \v/ = \e/; \ldots{}; \v/ = \e/; \E/ = \e/; \ldots{}; \e/ = \e/ \}
+    \alt \{ \v/ = \e/; $\cdots{}$; \v/ = \e/; \E/ = \e/; $\cdots{}$; \e/ = \e/ \}
     \alt with \E/; \e/ | if \E/ then \e/ else \e/
 
     <F> ::= \E/.\a/ \| \v/.\meta{F}