Merge pull request #719 from mathquill/fix.rename-font-folder
Rename font/ => fonts/
diff --git a/src/commands/math/advancedSymbols.js b/src/commands/math/advancedSymbols.js
index 3ce1318..28a685a 100644
--- a/src/commands/math/advancedSymbols.js
+++ b/src/commands/math/advancedSymbols.js
@@ -304,9 +304,9 @@
bind(VanillaSymbol, '\\nexists ', '∄');
LatexCmds.and = LatexCmds.land = LatexCmds.wedge =
- bind(VanillaSymbol,'\\wedge ','∧');
+ bind(BinaryOperator,'\\wedge ','∧');
-LatexCmds.or = LatexCmds.lor = LatexCmds.vee = bind(VanillaSymbol,'\\vee ','∨');
+LatexCmds.or = LatexCmds.lor = LatexCmds.vee = bind(BinaryOperator,'\\vee ','∨');
LatexCmds.o = LatexCmds.O =
LatexCmds.empty = LatexCmds.emptyset =
diff --git a/src/commands/math/commands.js b/src/commands/math/commands.js
index f60f054..53fb861 100644
--- a/src/commands/math/commands.js
+++ b/src/commands/math/commands.js
@@ -81,6 +81,15 @@
LatexCmds.overline = LatexCmds.bar = bind(Style, '\\overline', 'span', 'class="mq-non-leaf mq-overline"');
LatexCmds.overrightarrow = bind(Style, '\\overrightarrow', 'span', 'class="mq-non-leaf mq-overarrow mq-arrow-right"');
LatexCmds.overleftarrow = bind(Style, '\\overleftarrow', 'span', 'class="mq-non-leaf mq-overarrow mq-arrow-left"');
+LatexCmds.dot = P(MathCommand, function(_, super_) {
+ _.init = function() {
+ super_.init.call(this, '\\dot', '<span class="mq-non-leaf"><span class="mq-dot-recurring-inner">'
+ + '<span class="mq-dot-recurring">˙</span>'
+ + '<span class="mq-empty-box">&0</span>'
+ + '</span></span>'
+ );
+ };
+});
// `\textcolor{color}{math}` will apply a color to the given math content, where
// `color` is any valid CSS Color Value (see [SitePoint docs][] (recommended),
diff --git a/src/css/math.less b/src/css/math.less
index 389058c..743f7ca 100644
--- a/src/css/math.less
+++ b/src/css/math.less
@@ -259,7 +259,7 @@
display: inline-block;
}
- .mq-numerator, .mq-denominator {
+ .mq-numerator, .mq-denominator, .mq-dot-recurring {
display: block;
}
@@ -274,6 +274,11 @@
padding: 0.1em;
}
+ .mq-dot-recurring {
+ text-align: center;
+ height: 0.3em;
+ }
+
////
// \sqrt
// square roots