add isl_basic_set_from_params

[platform/upstream/isl.git] / doc / manual.tex

diff --git a/doc/manual.tex b/doc/manual.tex
index f084a90..91b3db0 100644 (file)
--- a/doc/manual.tex
+++ b/doc/manual.tex
@@ -22,6 +22,7 @@
 \providecommand{\floor}[1]{\left\lfloor#1\right\rfloor}
 \providecommand{\ceil}[1]{\left\lceil#1\right\rceil}
 \def\sp#1#2{\langle #1, #2 \rangle}
+\def\spv#1#2{\langle\vec #1,\vec #2\rangle}
 
 \newtheorem{theorem}{Theorem}
 \newaliascnt{example}{theorem}