Fix bug in DPH docs

diff --git a/docs/ndp/vect.tex b/docs/ndp/vect.tex
index 06d8537..29f5125 100644 (file)
--- 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{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) \\
 \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) \\