Adds middle dot (U+00B7) to list of shorthand dot-like chars for mover.

Added test Fixes: 204
NSoiffer · Oct 31, 2023 · 9b1cf66 · 9b1cf66
1 parent 46382d1
commit 9b1cf66
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 2 deletions.
diff --git a/Rules/Braille/UEB/UEB_Rules.yaml b/Rules/Braille/UEB/UEB_Rules.yaml
@@ -264,7 +264,7 @@
 -
    name: single-char-exceptions    # GTM 12
    tag: [mover, munder]
-   match: "*[2][string-length(.) = 1 and ( translate(., '_¯→.˙~^','')='' or (parent::m:mover and text()='⌒') )]"
+   match: "*[2][string-length(.) = 1 and ( translate(., '_¯→.·˙~^','')='' or (parent::m:mover and text()='⌒') )]"
    replace: 
    - test:
       # omit grouping indicators in the following cases
@@ -293,7 +293,7 @@
         then: [t: "⠱"]
       - else_if: "*[2][text()='→']"
         then: [t: "⠘⠱"]
-      - else_if: "*[2][text()='.' or text()='˙']"
+      - else_if: "*[2][text()='.' or text()='·' or text()='˙']"
         then: [t: "⠘⠲"]
       - else_if: "*[2][text()='~']"
         then: [t: "⠸⠱"]

diff --git a/tests/braille/UEB/other.rs b/tests/braille/UEB/other.rs
@@ -47,6 +47,13 @@ fn not_number_space_blocks() {
     test_braille("UEB", expr, "⠼⠁⠃⠉⠀⠼⠙⠑⠋");
 }
 
+#[test]
+fn dot_above_bug_204() {
+    // https://github.com/NSoiffer/MathCAT/issues/204
+    let expr = "<math> <mn>0.</mn> <mover> <mn>6</mn> <mo>&middot;</mo> </mover> </math>";
+    test_braille("UEB", expr, "⠼⠚⠲⠣⠼⠋⠜⠘⠲");
+}
+
 #[test]
 fn space_hack_between_digits() {
     // https://github.com/NSoiffer/MathCAT/issues/144