literals fix

scala/info/kwarc/mmt/mitm/rules/Symbols.scala

@@ -25,12 +25,12 @@ object Math {
   val posplus = natliterals ? "plus_pos_lit"
   val natplus = natliterals ? "plus_nat_lit"
   val intplus = intliterals ? "plus_int_lit"
-  val realplus = natliterals ? "plus_real_lit"
+  val realplus = realliterals ? "plus_real_lit"
 
   val postimes = natliterals ? "times_pos_lit"
   val nattimes = natliterals ? "times_nat_lit"
   val inttimes = intliterals ? "times_int_lit"
-  val realtimes = natliterals ? "times_real_lit"
+  val realtimes = realliterals ? "times_real_lit"
 
   //val tms = typesystem ? "tm"
   val bool = logic ? "prop"