notation for dual vectorspace