2 files changed, 5 insertions, 3 deletions

diff --git a/packages/base/CHANGELOG b/packages/base/CHANGELOG
index a91719d..6b63de8 100644
--- a/packages/base/CHANGELOG
+++ b/packages/base/CHANGELOG
@@ -28,6 +28,8 @@
     * "dot" now conjugates the first input vector.
 
     * Added "udot" (unconjugated dot product).
+    
+    * Added "sortVector"
 
     * Added Monoid instance for Matrix using matrix product.
 
diff --git a/packages/base/src/Numeric/HMatrix.hs b/packages/base/src/Numeric/HMatrix.hs
index 34f4346..1b6c1ea 100644
--- a/packages/base/src/Numeric/HMatrix.hs
+++ b/packages/base/src/Numeric/HMatrix.hs
@@ -27,7 +27,7 @@ Experimental interface with statically checked dimensions.
 
 module Numeric.HMatrix(
     -- * Vector
-    R,
+    ℝ, R,
     vec2, vec3, vec4, (&), (#), split, headTail,
     vector,
     linspace, range, dim,
@@ -35,7 +35,7 @@ module Numeric.HMatrix(
     L, Sq, build,
     row, col, (¦),(——), splitRows, splitCols,
     unrow, uncol,
-
+    tr,
     eye,
     diag,
     blockAt,
@@ -76,7 +76,7 @@ ud1 (R (Dim v)) = v
 
 
 infixl 4 &
-(&) :: forall n . KnownNat n
+(&) :: forall n . (KnownNat n, 1 <= n)
     => R n -> ℝ -> R (n+1)
 u & x = u # (konst x :: R 1)