Added design doc latex