HTML5中插入视频使用什么标记？描述其语法格式及含义、该标记的属性及功能

在 HTML5 中，可以使用 `<video>` 标签插入视频。该标记用于定义视频，它是一个自闭合标签。下面是该标记的语法格式及含义：

<video src="video.mp4" width="640" height="480" controls>
  Your browser does not support the video tag.
</video>

其中，`src` 属性指定视频文件的路径；`width` 和 `height` 属性指定视频播放器的宽度和高度；`controls` 属性用于显示视频控制条。`<video>` 标记还有其他一些属性，比如 `autoplay`、`loop`、`preload` 等，这些属性分别用于自动播放、循环播放和预加载视频。

此外，`<video>` 标签还可以嵌套 `<source>` 标签，用于指定多个视频源，以便在不同的浏览器和设备上播放不同的视频格式。例如：

<video width="640" height="480" controls>
  <source src="video.mp4" type="video/mp4">
  <source src="video.ogg" type="video/ogg">
  Your browser does not support the video tag.
</video>

这里有两个 `<source>` 标签，分别指定了 MP4 和 OGG 格式的视频源。如果浏览器支持 MP4 格式，则播放 `video.mp4` 文件；如果不支持，则播放 `video.ogg` 文件。

总之，`<video>` 标记是 HTML5 中用于插入视频的标记，可以通过不同的属性和嵌套 `<source>` 标签来实现不同的视频格式和控制方式。