From ccd44903d96c965acd593d6bd2bee7f63245adf6 Mon Sep 17 00:00:00 2001 From: Roman Leshchinskiy Date: Wed, 8 Oct 2008 10:16:18 +0000 Subject: [PATCH] Fix bug in DPH docs --- docs/ndp/vect.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/ndp/vect.tex b/docs/ndp/vect.tex index 06d8537..29f5125 100644 --- a/docs/ndp/vect.tex +++ b/docs/ndp/vect.tex @@ -169,7 +169,7 @@ c:\sigma\in\Delta \Longrightarrow c_v:\vect{\sigma}\in\Delta \vect{x} & = x & x is local \\ \vect{\Lambda\alpha:\kappa.e} & = \Lambda\alpha:\kappa.\lambda{dPA_{\alpha}}:\patype{\alpha:\kappa}.\vect{e} \\ -\vect{e[\sigma]} & = \vect{e}[\vect{\sigma}] \\ +\vect{e[\sigma]} & = \vect{e}[\vect{\sigma}] \pa{\vect{\sigma}} \\ \vect{e_1 e_2} & = \vect{e_1}\capp\vect{e_2} \\ \vect{\lambda{x}:\sigma.e} & = Clo \vect{\sigma} \vect{\phi} \tau \pa{\tau} (y_1,\dots,y_n) \\ -- 1.7.10.4