Fix bug in DPH docs

1 files changed, 1 insertions, 1 deletions

diff --git a/docs/ndp/vect.tex b/docs/ndp/vect.tex
index 06d8537957..29f5125471 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) \\