Double convex cones