#include "math_macrotemplate.h"
#include "math_parser.h"
#include "array.h"
-#include "math_accentinset.h"
+#include "math_decorationinset.h"
#include "math_deliminset.h"
#include "math_fracinset.h"
#include "math_inset.h"
// This macro doesn't have arguments
{
MathMacroTemplate * t = new MathMacroTemplate("notin", 0);
- MathAccentInset * p = new MathAccentInset(LM_not);
+ MathDecorationInset * p = new MathDecorationInset("not", LM_not);
p->cell(0).push_back(LM_in, LM_TC_BOPS);
t->push_back(p);
insertTemplate(t);
{
MathMacroTemplate * t = new MathMacroTemplate("emptyset", 0);
- MathAccentInset * p = new MathAccentInset(LM_not);
- p->cell(0).push_back('0', LM_TC_VAR);
+ MathDecorationInset * p = new MathDecorationInset("not", LM_not);
+ p->cell(0).push_back('O', LM_TC_VAR);
t->push_back(p);
insertTemplate(t);
}
+ {
+ MathMacroTemplate * t = new MathMacroTemplate("land", 0);
+ t->push_back(LM_wedge, LM_TC_SYMB);
+ insertTemplate(t);
+ }
+
+ {
+ MathMacroTemplate * t = new MathMacroTemplate("lor", 0);
+ t->push_back(LM_vee, LM_TC_SYMB);
+ insertTemplate(t);
+ }
+
{
MathMacroTemplate * t = new MathMacroTemplate("to", 0);
t->push_back(LM_rightarrow, LM_TC_SYMB);
t->push_back(LM_bot, LM_TC_BOP);
insertTemplate(t);
}
+
/*
{
MathMacroTemplate & m = createTemplate("lint", 4);