implemented parser to support basic use of math delimiters

Author: HarrySu123

conversion2025/tools/validator/src/main/scala/lexer.scala

@@ -11,11 +11,11 @@ object lexer {
 
     private val desc = LexicalDesc.plain.copy(
         nameDesc = NameDesc.plain.copy(
-            identifierStart = Basic(_.isInstanceOf[Char]),
-            identifierLetter = Basic(_.isInstanceOf[Char]),
+            identifierStart = Basic(x => x.isInstanceOf[Char] && x != '$'),
+            identifierLetter = Basic(x => x.isInstanceOf[Char] && x != '$'),
         ),
         symbolDesc = SymbolDesc.plain.copy(
-            hardOperators = genericKeywords,
+            hardOperators = genericKeywords
         )
     )
 

conversion2025/tools/validator/src/main/scala/parser.scala

@@ -21,8 +21,8 @@ object parser {
   private lazy val blocks = many(block)
 
   private lazy val block: Parsley[Block] = 
-    Display(display) |
-    Inline(inline) |
+    atomic(Display(display)) |
+    atomic(Inline(inline)) |
     Text(lexer.text)
 
   private lazy val display = "$$" ~> lexer.text <~ "$$"

conversion2025/tools/validator/src/test/scala/MainTest.scala

@@ -10,11 +10,26 @@ class MainSpec extends FunSuite {
 
   test("only inline math") {
     val result = parser.parse("$ x + y = z $")
-    assertEquals(result, Right(MarkDown(List(Inline("$x + y = z$")))))
+    assertEquals(result, Right(MarkDown(List(Inline("x + y = z ")))))
   }
 
   test("only display math") {
     val result = parser.parse("$$ x + y = z $$")
-    assertEquals(result, Right(MarkDown(List(Display("x + y = z")))))
+    assertEquals(result, Right(MarkDown(List(Display("x + y = z ")))))
+  }
+  
+  test("text, inline and display math together") {
+    val result = parser.parse("question 1: $$ x + y = z $$ question 2: $ a + b = c $")
+    assertEquals(result, Right(MarkDown(List(Text("question 1: "), Display("x + y = z "), Text("question 2: "), Inline("a + b = c ")))))
+  }
+
+  test("inline math with no spaces") {
+    val result = parser.parse("$x+y=z$")
+    assertEquals(result, Right(MarkDown(List(Inline("x+y=z")))))
+  }
+
+  test("display math with no spaces") {
+    val result = parser.parse("$$x+y=z$$")
+    assertEquals(result, Right(MarkDown(List(Display("x+y=z")))))
   }
 }