diff options
Diffstat (limited to 'external/xsltml/xsltml_2.1.2.patch')
| -rw-r--r-- | external/xsltml/xsltml_2.1.2.patch | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/external/xsltml/xsltml_2.1.2.patch b/external/xsltml/xsltml_2.1.2.patch index 292338b210d4..f02b0c5947a0 100644 --- a/external/xsltml/xsltml_2.1.2.patch +++ b/external/xsltml/xsltml_2.1.2.patch @@ -1214,7 +1214,7 @@ <xsl:text>\overbrace{</xsl:text> <xsl:apply-templates select="./*[1]"/> <xsl:text>}</xsl:text> -@@ -192,10 +193,46 @@ +@@ -192,10 +193,51 @@ <xsl:text>\ddot{</xsl:text> <xsl:apply-templates select="./*[1]"/> <xsl:text>}</xsl:text> @@ -1256,6 +1256,11 @@ + <xsl:apply-templates select="./*[1]"/> + <xsl:text>}</xsl:text> + </xsl:when> ++ <xsl:when test="$over='⃗'"> <!-- Vector --> ++ <xsl:text>\vec{</xsl:text> ++ <xsl:apply-templates select="./*[1]"/> ++ <xsl:text>}</xsl:text> ++ </xsl:when> + + <xsl:when test="$over='̂' or $over='^' or $over='ˆ'"> <!-- Hat or circ - circumflex accent --> <xsl:choose> |