fixed dot product symbol

2020-03-27 10:03:59 +01:00
parent e0263c554d
commit 36bee5a8c3
3 changed files with 11 additions and 11 deletions
@@ -45,7 +45,7 @@ constexpr auto operator_text()
      return basic_fixed_string("/");
    }
    else {
-      return basic_symbol_text("⋅", ".");
+      return basic_symbol_text(" ⋅ ", " ");
    }
  }
 }