example. Notation：明确写出排版结构[#71]

这一组Maxwell方程用对齐点、向量箭头和分数构造排版：

\begin{matrix} \nabla \cdot \vec{D} & = ρ \\ \nabla \times \vec{E} & = - \frac{\partial \vec{B}}{\partial t} \\ \nabla \cdot \vec{B} & = 0 \\ \nabla \times \vec{H} & = \vec{J} + \frac{\partial \vec{D}}{\partial t} \end{matrix}

◇:align、◇:vec与◇:frac构造的是Notation节点。它们能生成MathML，但不会因此获得向量类型或求导语义。需要证明公式时，应该使用Semantic表达式和计算pass。