diff --git a/index.html b/index.html index 58f9cef..fc50f50 100644 --- a/index.html +++ b/index.html @@ -198,6 +198,7 @@
<menclose>,
<mpadded> or
<msqrt>
with more than one in-flow child
@@ -3050,6 +3053,468 @@ <mphantom><mphantom> is implemented for compatibility with full MathML. Authors whose only target is MathML Core are encouraged to use CSS for styling.
+ <menclose>
+ The
+ <menclose>
+ element renders its content inside the enclosing notation.
+ It accepts the attributes described in
+ as well as the
+ following attribute:
+
+ The
+ notation
+ attribute, if present, must have a value that is a
+ set of space-separated tokens.
+ A token value that is an
+ ASCII case-insensitive
+ match to one of
+ left,
+ right,
+ top,
+ bottom,
+ box,
+ roundedbox,
+ actuarial,
+ madruwb,
+ horizontalstrike,
+ verticalstrike
+ updiagonalstrike,
+ downdiagonalstrike,
+ longdiv,
+ circle is handled as described in the following
+ subsections. Any other token value is ignored. If the
+ notation attribute is absent then it is treated as
+ equal to longdiv.
+
notation attribute is empty or equal to the
+ MathML3 value radical then the notation
+ attribute is valid and the
+ <menclose> element will be rendered without
+ any notation rather than with the default longdiv
+ notation.
+
+ If the <menclose> element does not have its
+ computed
+ display property equal to math
+ then it is laid out according to the CSS specification where
+ the corresponding value is described.
+ Otherwise, the layout below is performed.
+
+ The notations must only be painted if the
+ visibility of
+ the <menclose> element is visible.
+ In that case, the notations must be painted with the
+ color
+ of the <menclose> element.
+
+ In-flow
+ children of the <menclose> element are laid out
+ using the algorithm of the <mrow> element
+ to produce a box B corresponding to the content.
+ In particular, they use the
+ algorithm for stretching operators along the block axis.
+ ξ8 is used below to denote the
+ default rule thickness and is set to OverbarRuleThickness.
+
+ If the notation attribute contains the
+ box value,
+ then it is treated as it was replaced with the set of values
+ left right top bottom, removing duplicates values
+ with the other of the notations, if any.
+ Similarly, actuarial and
+ madruwb notations are respectively treated as
+ equivalent to right top and
+ and right bottom.
+
+ The layout of other individual notation is explained in the
+ following sections. In general when the notation
+ attribute contains multiple
+ values, each algorithm is applied individually to obtain
+ boxes B1, B2, ... Bn
+ corresponding to their content. The layout
+ of the <menclose> element is then performed
+ as follows:
+
longdiv notation: In that case,
+ sleft,i is replaced with the
+ preferred inline size of a glyph stretched along the block axis
+ for U+0029 RIGHT PARENTHESIS.
+ Again, it is possible to take the maximum values to calculate
+ the
+ min-content inline size and max-content inline size of the content.
+ For the left notation, a bar is drawn
+ on the line-left side along the block axis
+ as shown on .
+
left
+ notation of the <menclose> element+ The + min-content inline size (respectively max-content inline size) + of the content is + the + min-content inline size (respectively max-content inline size) + of B + 5ξ8. +
++ The inline size is the inline size of B + + 5ξ8, the ink line-ascent of the content + is the one of B + + OverbarVerticalGap + OverbarRuleThickness + and the ink line-descent of the content is the one of B + + UnderbarVerticalGap + UnderbarRuleThickness. + The line-ascent (respectively line-descent) of the content + is the maximum + of between the ink line-ascent (respectively ink line-descent) + of the content + and the line-ascent (respectively line-descent) of B. +
++ B is placed so that its alphabetic baseline matches the alphabetic baseline and + its line-left offset is 5ξ8. + The inline size of the bar is ξ8, + its block size is the block size of the content, + its line-left offset + is ξ8 and its line-over offset is 0. +
+
+ The right notation is handled the same as the
+ left notation,
+ but with the bar placed on the line-right side. The block
+ metrics,
+ min-content inline size, max-content inline size
+ and inline size of the content are the same.
+
+ The inline size of the bar is ξ8, + its line-left offset is the inline size − + 2ξ8 and the line-left offset of B is 0. +
+For the top notation, a bar is drawn
+ on the line-over side along the inline axis
+ as shown on .
+
+
+
top
+ notation of the <menclose> element
+ The + min-content inline size (respectively max-content inline size) + of the content is + the + min-content inline size (respectively max-content inline size) + of B + 8ξ8. +
++ The inline size of the content is the inline size of B + + 8ξ8, the ink line-ascent of the content + is the one of B + + OverbarVerticalGap + OverbarRuleThickness. + The line-ascent of the content + is the maximum between the line-ascent + of B and the ink line-ascent of the content + + OverbarExtraAscender. + The line-descent of the content + is the line-descent of B. +
++ B is placed so that its alphabetic baseline matches the alphabetic baseline and + its line-left offset is 4ξ8. + The inline size of the bar is the inline size of the content, + its block size is OverbarRuleThickness, + its line-left offset + is 0 and its line-over offset is the ascent − + the ink line-ascent of B − OverbarVerticalGap − + OverbarRuleThickness. +
+
+ The bottom notation is drawn the same as the
+ top notation,
+ but with the bar placed on the line-under side of B and using
+ parameters
+ UnderbarRuleThickness,
+ UnderbarVerticalGap
+ and UnderbarExtraDescender.
+ The inline metrics are the same.
+
+ The ink line-descent of the content is the one of B + + UnderbarVerticalGap + UnderbarRuleThickness. + The line-descent of the content + is the maximum between the line-descent + of B and the ink line-descent of the content + + UnderbarExtraDescender. + The line-ascent of the content + is the line-ascent of B. +
++ B is placed so that its alphabetic baseline matches the alphabetic baseline. + The block size of the bar is UnderbarRuleThickness + and its line-over offset is the line-ascent of the content + + the ink line-descent of B + UnderbarVerticalGap. +
+
+ For the horizontalstrike notation,
+ the metrics are the same as B.
+ A bar of inline size the inline size of the content and
+ of block size ξ8 is drawn
+ at line-over position minus half ξ8.
+ See .
+
horizontalstrike
+ notation of the <menclose> element
+ For the verticalstrike notation,
+ the metrics are the same as B.
+ A bar of inline size ξ8 and
+ of block size the block size of the content is drawn
+ at line-left position
+ half the inline size of the content minus half ξ8.
+
+ For the updiagonalstrike notation,
+ a bar is drawn
+ going from the line-left line-under corner to the
+ line-right line-over corner as shown on
+ .
+
+ The + min-content inline size, max-content inline size and inline size + of the content are the one of B + ξ8. +
++ Theline-ascent of the content is the + line-ascent of B + half + ξ8. + The line-descent of the content + is the line-descent of + B + half + ξ8. +
++ B is placed so that its alphabetic baseline is the alphabetic baseline and + its line-left offset is half ξ8. +
+
+ Using terminology from [[SVG]],
+ the bar is drawn with a line
+ of thickness ξ8 going from the
+ line-under line-left corner of B
+ to the line-over line-right corner of B with
+ stroke-linecap set to butt.
+
updiagonalstrike
+ notation of the <menclose> element
+ For the downdiagonalstrike notation,
+ a bar is drawn
+ going from the line-left line-over corner to the
+ line-right line-under corner. The metrics are the same as
+ for the updiagonalstrike notation.
+
+ The roundedbox notation is drawn as
+ shown on .
+
roundedbox
+ notation of the <menclose> element+ min-content inline size, max-content inline size and inline size + of the content are the + ones of B plus 10ξ8. +
++ The ink line-ascent (respectively line-descent) + of the content is the + ink line-ascent (respectively ink line-descent) of B + 4ξ8. + The line-ascent (respectively line-descent) of the content is + the maximum between the line-ascent (respectively + line-descent) of B + and the ink line-ascent (respectively ink line-descent) + of the content plus ξ8. +
+
+ B is placed so that its alphabetic baseline is the alphabetic baseline and
+ its line-left offset is 5ξ8.
+ If B' is the ink box B expanded on each side by
+ ½7ξ8 then using terminology from [[SVG]],
+ a rounded rectangle is drawn on B'
+ with parameters rx, ry and
+ stroke-width set to 3ξ8.
+
+ The longdiv notation is drawn similarly to the
+ <msqrt> element
+ ()
+ except that the CSS
+ direction
+ is ignored and U+221A SQUARE ROOT is replaced with
+ U+0029 RIGHT PARENTHESIS. The rule thickness is ξ8,
+ the gap between content and overbar is 3ξ8 and the
+ extra ascender is ξ8.
+
+ The circle notation is drawn as shown
+ on .
+ Given the ink box of width w and height h, an ellipse is drawn using
+ the axes of symmetry of this ink box, the radii
+ w x ½√2, h x ½√2 and thickness ξ8.
+ Space of ξ8 is added each side of the ellipse's ink
+ box.
+
+ The min-content inline size, max-content inline size + and inline size of the content are the ones of B times √2 plus + 3ξ8. +
++ The ink line-ascent (respectively ink line-descent) of the content + is the ink line-ascent (respectively ink line-descent) of B times + √2 plus ½ξ8. The line-ascent + (respectively line-descent) of the content + is the maximum between the + line-ascent (respectively line-descent) of B and the + ink line-ascent (respectively ink line-descent) of the content + plus ξ8. +
++ Finally, B is placed so that its alphabetic baseline is aligned with + the alphabetic baseline and its line-left offset is + ½(√2 − 1) times the inline size of B plus 3ξ8/2. +
+circle
+ notation of the <menclose> element