plurimath 0.2.1 → 0.2.2

data/lib/plurimath/asciimath/constants.rb

@@ -4,140 +4,146 @@ module Plurimath
   class Asciimath
     class Constants
       TABLE_PARENTHESIS = {
+        "(:": ":)",
+        "ℒ": "ℛ",
         "[": "]",
-        "{": "}",
         "(": ")",
-        "|": "|",
       }.freeze
       PARENTHESIS = {
         "(:": ":)",
-        "{:": ":}",
+        "ℒ": "ℛ",
         "(": ")",
         "{": "}",
         "[": "]",
       }.freeze
       SYMBOLS = {
         twoheadrightarrowtail: :"⤖",
-        twoheadrightarrow: :"↠",
-        rightarrowtail: :"↣",
-        Leftrightarrow: :"⇔",
+        twoheadrightarrow: :"↠",
+        rightarrowtail: :"↣",
+        Leftrightarrow: :"⇔",
         leftrightarrow: :"↔",
-        Rightarrow: :"⇒",
+        Rightarrow: :"⇒",
         rightarrow: :"→",
-        varepsilon: :"ɛ",
-        Leftarrow: :"⇐",
+        varepsilon: :"ɛ",
+        Leftarrow: :"⇐",
         leftarrow: :"←",
         downarrow: :"↓",
         therefore: :"∴",
-        backslash: :"\\",
-        setminus: :"\\",
-        triangle: :"△",
-        bigwedge: :"⋀",
+        backslash: :"\",
+        setminus: :"⧵",
+        triangle: :"△",
+        bigwedge: :"⋀",
         rceiling: :"⌉",
         lceiling: :"⌈",
         supseteq: :"⊇",
         subseteq: :"⊆",
-        vartheta: :"ϑ",
+        vartheta: :"ϑ",
         emptyset: :"∅",
-        diamond: :"⋄",
+        diamond: :"⋄",
         uparrow: :"↑",
-        implies: :"⇒",
+        implies: :"⇒",
         partial: :"∂",
         because: :"∵",
-        upsilon: :"υ",
-        epsilon: :"ε",
-        bigcap: :"⋂",
-        bigvee: :"⋁",
-        propto: :"∝",
+        upsilon: :"υ",
+        epsilon: :"ε",
+        bigcap: :"⋂",
+        bigvee: :"⋁",
+        propto: :"∝",
         approx: :"≈",
         exists: :"∃",
         forall: :"∀",
         otimes: :"⊗",
-        ltimes: :"⋉",
-        bowtie: :"⋈",
-        rtimes: :"⋊",
-        models: :"⊨",
-        mapsto: :"↦",
-        bigcup: :"⋃",
-        succeq: :"⪰",
-        preceq: :"⪯",
-        rfloor: :"⌋",
-        lfloor: :"⌊",
-        square: :"□",
+        ltimes: :"⋉",
+        bowtie: :"⋈",
+        rtimes: :"⋊",
+        models: :"⊨",
+        mapsto: :"↦",
+        bigcup: :"⋃",
+        succeq: :"⪰",
+        preceq: :"⪯",
+        rfloor: :"⌋",
+        lfloor: :"⌊",
+        square: :"□",
         supset: :"⊃",
         subset: :"⊂",
-        lambda: :"λ",
-        Lambda: :"Λ",
-        varphi: :"φ",
+        lambda: :"λ",
+        Lambda: :"Λ",
+        varphi: :"φ",
+        rangle: :"〉",
+        langle: :"〈",
         ">->>": :"⤖",
-        "/_\\": :"△",
-        "|><|": :"&#x22C8;",
-        kappa: :"&#x3BA;",
+        "/_\\": :"&#x25b3;",
+        "|><|": :"&#x22c8;",
+        kappa: :"&#x3ba;",
         Delta: :"&#x394;",
-        delta: :"&#x3B4;",
-        gamma: :"&#x3B3;",
+        delta: :"&#x3b4;",
+        gamma: :"&#x3b3;",
         Gamma: :"&#x393;",
         Theta: :"&#x398;",
-        theta: :"&#x3B8;",
-        alpha: :"&#x3B1;",
-        aleph: :"&#2135;",
-        infty: :"&#221E;",
-        equiv: :"&#2261;",
-        frown: :"&#2322;",
-        notin: :"&#2209;",
-        angle: :"&#2220;",
+        theta: :"&#x3b8;",
+        alpha: :"&#x3b1;",
+        aleph: :"&#x2135;",
+        infty: :"&#x221e;",
+        equiv: :"&#x2261;",
+        frown: :"&#x2322;",
+        notin: :"&#x2209;",
+        angle: :"&#x2220;",
+        prime: :"&#x2032;",
         "!in": :"&#x2209;",
-        cdots: :"&#x22EF;",
-        vdash: :"&#x22A2;",
+        cdots: :"&#x22ef;",
+        vdash: :"&#x22a2;",
         wedge: :"&#x2227;",
         oplus: :"&#x2295;",
         nabla: :"&#x2207;",
-        ddots: :"&#x22F1;",
-        vdots: :"&#x22EE;",
-        Sigma: :"&#3A3;",
-        Omega: :"&#3A9;",
-        omega: :"&#3C9;",
-        sigma: :"&#3C3;",
-        times: :"&#xD7;",
-        ldots: :"...",
-        ">-=": :"&#x2AB0;",
-        "-<=": :"&#x2AAF;",
-        "><|": :"&#x22CA;",
-        "|==": :"&#x22A8;",
-        "|--": :"&#x22A2;",
-        "^^^": :"&#x22C0;",
-        "|->": :"&#x21A6;",
-        ">->": :"&#x21A3;",
-        "->>": :"&#x21A0;",
-        "__|": :"&#x230B;",
-        "|__": :"&#x230A;",
-        "|><": :"&#x22C9;",
-        "_|_": :"&#x22A5;",
-        "***": :"&#x22C6;",
-        "<=>": :"&#x21D4;",
-        quad: :"&#xA0;&#xA0;",
-        star: :"&#x22C6;",
+        ddots: :"&#x22f1;",
+        vdots: :"&#x22ee;",
+        Sigma: :"&#x3a3;",
+        Omega: :"&#x3a9;",
+        omega: :"&#x3c9;",
+        sigma: :"&#x3c3;",
+        times: :"&#xd7;",
+        ldots: :"&#x2026;",
+        ">-=": :"&#x2ab0;",
+        "-<=": :"&#x2aaf;",
+        "><|": :"&#x22ca;",
+        "|==": :"&#x22a8;",
+        "|--": :"&#x22a2;",
+        "^^^": :"&#x22c0;",
+        "|->": :"&#x21a6;",
+        ">->": :"&#x21a3;",
+        "->>": :"&#x21a0;",
+        "__|": :"&#x230b;",
+        "|__": :"&#x230a;",
+        "|><": :"&#x22c9;",
+        "_|_": :"&#x22a5;",
+        "***": :"&#x22c6;",
+        "<=>": :"&#x21d4;",
+        "...": :"&#x2026;",
+        "(:": :"&#x2329;",
+        ":)": :"&#x232a;",
+        quad: :"&#x2001;",
+        star: :"&#x22c6;",
         odot: :"&#x2299;",
-        cdot: :"&#x22C5;",
+        cdot: :"&#x22c5;",
         rarr: :"&#x2192;",
         darr: :"&#x2193;",
-        prop: :"&#x221D;",
-        lArr: :"&#x21D0;",
-        rArr: :"&#x21D2;",
+        prop: :"&#x221d;",
+        lArr: :"&#x21d0;",
+        rArr: :"&#x21d2;",
         uarr: :"&#x2191;",
-        hArr: :"&#x21D4;",
+        hArr: :"&#x21d4;",
         harr: :"&#x2194;",
         larr: :"&#x2190;",
         grad: :"&#x2207;",
         circ: :"&#x2218;",
         sube: :"&#x2286;",
         supe: :"&#x2287;",
-        succ: :"&#227B;",
-        prec: :"&#227A;",
-        cong: :"&#2245;",
-        beta: :"&#x3B2;",
-        zeta: :"&#x3B6;",
-        iota: :"&#x3B9;",
+        succ: :"&#x227b;",
+        prec: :"&#x227a;",
+        cong: :"&#x2245;",
+        beta: :"&#x3b2;",
+        zeta: :"&#x3b6;",
+        iota: :"&#x3b9;",
         ":'": :"&#x2235;",
         "^^": :"&#x2227;",
         "o+": :"&#x2295;",
@@ -146,13 +152,13 @@ module Plurimath
         "~~": :"&#x2248;",
         "O/": :"&#x2205;",
         "->": :"&#x2192;",
-        "=>": :"&#x21D2;",
-        ">>": :"&#x232A;",
+        "=>": :"&#x21d2;",
+        ">>": :"&#x232a;",
         "<<": :"&#x2329;",
         "~|": :"&#x2309;",
         "!=": :"&#x2260;",
-        ">-": :"&#x227B;",
-        "-<": :"&#x227A;",
+        ">-": :"&#x227b;",
+        "-<": :"&#x227a;",
         "~=": :"&#x2245;",
         "-=": :"&#x2261;",
         ":.": :"&#x2234;",
@@ -160,70 +166,84 @@ module Plurimath
         "<=": :"&#x2264;",
         "|~": :"&#x2308;",
         "/_": :"&#x2220;",
-        "+-": :"&#xB1;",
-        "-:": :"&#xF7;",
+        "+-": :"&#xb1;",
+        "-:": :"&#xf7;",
+        "\\ ": :"&#xa0;",
+        "\\": :"\\",
+        "//": :/,
         sup: :"&#x2283;",
         sub: :"&#x2282;",
-        top: :"&#x22A4;",
-        vvv: :"&#x22C1;",
+        top: :"&#x22a4;",
+        vvv: :"&#x22c1;",
         vee: :"&#x2228;",
-        nnn: :"&#x22C2;",
+        nnn: :"&#x22c2;",
         cap: :"&#x2229;",
         ast: :"&#x2217;",
-        bot: :"&#x22A5;",
+        bot: :"&#x22a5;",
         del: :"&#x2202;",
-        uuu: :"&#x22C3;",
-        cup: :"&#x222A;",
-        iff: :"&#x21D4;",
-        eta: :"&#x3B7;",
-        Phi: :"&#x3A6;",
-        Psi: :"&#x3A8;",
-        psi: :"&#x3C8;",
-        chi: :"&#x3C7;",
-        phi: :"&#x3D5;",
-        rho: :"&#x3C1;",
-        tau: :"&#x3C4;",
-        div: :"&#xF7;",
-        neg: :"&#xAC;",
-        not: :"&#xAC;",
-        "@": :"&#x2218;",
-        "*": :"&#x22C5;",
-        "<": :"&lt;",
-        ">": :"&gt;",
-        "-": :"-",
+        uuu: :"&#x22c3;",
+        cup: :"&#x222a;",
+        iff: :"&#x21d4;",
+        eta: :"&#x3b7;",
+        Phi: :"&#x3a6;",
+        Psi: :"&#x3a8;",
+        psi: :"&#x3c8;",
+        chi: :"&#x3c7;",
+        phi: :"&#x3d5;",
+        rho: :"&#x3c1;",
+        tau: :"&#x3c4;",
+        div: :"&#xf7;",
+        neg: :"&#xac;",
+        not: :"&#xac;",
+        "*": :"&#x22c5;",
+        "@": :"&#x40;",
+        "<": :"&#x3c;",
+        ">": :"&#x3e;",
+        "/": :"&#x2f;",
+        ":": :"&#x3a;",
+        "!": :"&#x21;",
+        ",": :"&#x2c;",
+        ";": :"&#x3b;",
+        "?": :"&#x3f;",
+        "$": :"&#x24;",
+        "~": :"&#x7e;",
+        "|": :"&#x7c;",
+        "%": :"&#x25;",
+        "'": :"&#x27;",
+        "&": :"&#x26;",
+        "#": :"&#x23;",
         "=": :"=",
+        "-": :"-",
         "+": :"+",
-        "/": :"/",
         nn: :"&#x2229;",
         vv: :"&#x2228;",
-        TT: :"&#x22A4;",
+        TT: :"&#x22a4;",
         EE: :"&#x2203;",
         ox: :"&#x2297;",
         to: :"&#x2192;",
         AA: :"&#x2200;",
-        uu: :"&#x222A;",
+        uu: :"&#x222a;",
         ne: :"&#x2260;",
-        ZZ: :"&#x2124;",
-        RR: :"&#x211D;",
-        QQ: :"&#x211A;",
-        NN: :"&#x2115;",
-        CC: :"&#x2102;",
-        oo: :"&#x221E;",
+        oo: :"&#x221e;",
         ge: :"&#x2265;",
         le: :"&#x2264;",
         in: :"&#x2208;",
-        nu: :"&#x3BD;",
-        mu: :"&#x3BC;",
-        pi: :"&#x3C0;",
-        Pi: :"&#x3A0;",
-        xi: :"&#x3BE;",
-        Xi: :"&#x39E;",
-        xx: :"&#xD7;",
-        pm: :"&#xB1;",
-        gt: :"&gt;",
-        lt: :"&lt;",
+        nu: :"&#x3bd;",
+        mu: :"&#x3bc;",
+        pi: :"&#x3c0;",
+        Pi: :"&#x3a0;",
+        xi: :"&#x3be;",
+        Xi: :"&#x39e;",
+        xx: :"&#xd7;",
+        pm: :"&#xb1;",
+        gt: :"&#x3e;",
+        lt: :"&#x3c;",
+        if: :if,
       }.freeze
       UNARY_CLASSES = %i[
+        underbrace
+        overbrace
+        underline
         arccos
         arcsin
         arctan
@@ -272,15 +292,8 @@ module Plurimath
         underset
         stackrel
         overset
-        color
-        prod
         frac
         root
-        oint
-        int
-        sum
-        mod
-        log
       ].freeze
       FONT_STYLES = %i[
         mathfrak
@@ -291,11 +304,43 @@ module Plurimath
         mathbf
         bbb
         bb
+        rm
         fr
         cc
         sf
         tt
+        ii
       ].freeze
+      SUB_SUP_CLASSES = %w[
+        prod
+        oint
+        lim
+        sum
+        log
+        int
+      ].freeze
+      SPECIAL_BOLD_ALPHABETS = %w[
+        ZZ
+        RR
+        QQ
+        NN
+        CC
+      ].freeze
+
+      class << self
+        def precompile_constants
+          @values ||=
+            named_hash(UNARY_CLASSES, :unary_class)
+              .merge(named_hash(SYMBOLS.keys, :symbol))
+              .merge(named_hash(FONT_STYLES, :fonts))
+              .merge(named_hash(SPECIAL_BOLD_ALPHABETS, :special_fonts))
+          @values.sort_by { |v, _| -v.length }.to_h
+        end
+
+        def named_hash(hash_or_array, name_key)
+          hash_or_array.each_with_object({}) { |d, i| i[d] = name_key }
+        end
+      end
     end
   end
 end

data/lib/plurimath/asciimath/parse.rb

@@ -4,23 +4,29 @@ require "parslet"
 module Plurimath
   class Asciimath
     class Parse < Parslet::Parser
-      rule(:space) { str(" ") }
-      rule(:base)  { str("_").as(:_) }
-      rule(:power) { str("^").as(:^) }
-      rule(:comma) { (str(",") >> space) | str(",") }
-
-      rule(:symbols)    { arr_to_expression(Constants::SYMBOLS.keys, :symbol) }
-      rule(:font_style) { arr_to_expression(Constants::FONT_STYLES, :fonts) }
+      rule(:td)     { expression.as(:td) }
+      rule(:base)   { str("_") }
+      rule(:power)  { str("^") }
+      rule(:space)  { match(/\s+/) }
+      rule(:comma)  { (str(",") >> space.maybe) }
+      rule(:number) do
+        (match("[0-9]").repeat(1) >> str(".") >> match("[0-9]").repeat(1)).as(:number) |
+          match("[0-9]").repeat(1).as(:number) |
+          str(".").as(:symbol)
+      end
 
-      rule(:unary_functions)  { arr_to_expression(Constants::UNARY_CLASSES) }
-      rule(:binary_functions) { arr_to_expression(Constants::BINARY_CLASSES) }
+      rule(:controversial_symbols)   { power_base | expression }
+      rule(:left_right_open_paren)   { str("(") | str("[") }
+      rule(:left_right_close_paren)  { str(")") | str("]") }
+      rule(:color_left_parenthesis)  { str("(") | str("[") | str("{") }
+      rule(:color_right_parenthesis) { str(")") | str("]") | str("}") }
 
-      rule(:left_right_open_paren)  { str("(") | str("[") }
-      rule(:left_right_close_paren) { str(")") | str("]") }
+      rule(:binary_classes) do
+        arr_to_expression(Constants::BINARY_CLASSES, :binary_class)
+      end
 
-      rule(:left_right) do
-        (str("left") >> left_right_open_paren.as(:left) >> iteration.as(:left_right_value) >> str("right") >> left_right_close_paren.as(:right)) |
-          table
+      rule(:sub_sup_classes) do
+        arr_to_expression(Constants::SUB_SUP_CLASSES, :binary_class)
       end
 
       rule(:open_table) do
@@ -45,58 +51,100 @@ module Plurimath
         end
       end
 
+      rule(:left_right) do
+        (str("left") >> left_right_open_paren.as(:left) >> iteration.as(:left_right_value) >> str("right") >> left_right_close_paren.as(:right)) |
+          ((table.as(:numerator) >> space.maybe >> match(/(?<!\/)\/(?!\/)/) >> space.maybe >> iteration.as(:denominator)).as(:frac) >> expression) |
+          (table.as(:table) >> expression.maybe)
+      end
+
       rule(:quoted_text) do
         str('"') >> match("[^\"]").repeat.as(:text) >> str('"')
       end
 
       rule(:symbol_text_or_integer) do
-        binary_functions |
-          unary_functions |
-          symbols |
+        sub_sup_classes |
+          binary_classes |
+          hash_to_expression(Constants.precompile_constants) |
+          (match(/[0-9]/).as(:number) >> comma.as(:comma)).repeat(1).as(:comma_separated) |
           quoted_text |
+          (str("d").as(:d) >> str("x").as(:x)).as(:intermediate_exp) |
           match["a-zA-Z"].as(:symbol) |
-          match("[0-9]").repeat(1).as(:number)
+          match(/[^\[{(\\\/@;:.,'"|\]})0-9a-zA-Z\-><$%^&*_=+!`~\s?]/).as(:symbol) |
+          number
+      end
+
+      rule(:power_base) do
+        (base >> space.maybe >> sequence.as(:base_value) >> power >> space.maybe >> sequence.as(:power_value)) |
+          (space.maybe >> base >> space.maybe >> sequence.as(:base_value)).as(:base) |
+          (space.maybe >> power >> space.maybe >> sequence.as(:power_value)).as(:power) |
+          (space.maybe >> base >> space.maybe >> power.as(:symbol).as(:base_value)).as(:base) |
+          (space.maybe >> power >> space.maybe >> base.as(:symbol).as(:power_value)).as(:power)
+      end
+
+      rule(:power_base_rules) do
+        (sub_sup_classes >> power_base).as(:power_base) |
+          (binary_classes >> space.maybe >> sequence.as(:base_value).maybe >> space.maybe >> sequence.as(:power_value).maybe).as(:power_base) |
+          (sequence.as(:power_base) >> power_base).as(:power_base)
       end
 
       rule(:table) do
         (open_table.as(:table_left) >> tr >> close_table.as(:table_right)) |
+          (open_table.as(:table_left) >> tr >> str("}").as(:table_right)) |
+          (str("norm").as(:norm) >> open_table.as(:table_left) >> tr >> close_table.as(:table_right)) |
+          (str("{").as(:table_left) >> tr >> close_table.as(:table_right)) |
+          (str("|").as(:table_left) >> tr >> str("|").as(:table_right)) |
           (str("left") >> left_right_open_paren.as(:left) >> tr >> str("right") >> left_right_close_paren.as(:right))
       end
 
       rule(:tr) do
-        ((str("[").as(:open_tr) >> td.as(:tds_list) >> str("]")).as(:table_row) >> comma >> tr.as(:expr)) |
-          (str("[").as(:open_tr) >> td.as(:tds_list) >> str("]")).as(:table_row)
+        ((left_right_open_paren.as(:open_tr) >> td.as(:tds_list) >> left_right_close_paren).as(:table_row) >> comma >> tr.as(:expr)) |
+          (left_right_open_paren.as(:open_tr) >> td.as(:tds_list) >> left_right_close_paren).as(:table_row)
       end
 
-      rule(:td) do
-        (sequence.as(:td) >> str(",") >> sequence.as(:tds)) |
-          sequence.as(:td)
+      rule(:color_value) do
+        (color_left_parenthesis.capture(:paren).as(:lparen) >> expression.as(:rgb_color) >> color_right_parenthesis.maybe.as(:rparen)).as(:intermediate_exp) |
+          iteration
       end
 
       rule(:sequence) do
-        (lparen >> expression >> rparen).as(:intermediate_exp) |
-          (binary_functions >> sequence.as(:base) >> sequence.maybe.as(:exponent)).as(:binary) |
-          (str("text") >> lparen.capture(:paren) >> read_text >> rparen) |
-          (unary_functions >> sequence).as(:unary) |
-          (font_style >> sequence).as(:fonts) |
+        (lparen.as(:lparen) >> space.maybe >> expression.maybe.as(:expr) >> space.maybe >> rparen.maybe.as(:rparen)).as(:intermediate_exp) |
+          (str("text") >> lparen.capture(:paren).as(:lparen) >> read_text.as(:text) >> rparen.maybe.as(:rparen)).as(:intermediate_exp) |
           symbol_text_or_integer
       end
 
+      rule(:frac) do
+        (sequence.as(:numerator) >> space.maybe >> match(/(?<!\/)\/(?!\/)/) >> space.maybe >> iteration.as(:denominator)).as(:frac) |
+          ((power_base_rules | power_base).as(:numerator) >> match(/(?<!\/)\/(?!\/)/) >> iteration.as(:denominator)).as(:frac)
+      end
+
+      rule(:mod) do
+        (sequence.as(:dividend) >> space.maybe >> str("mod").as(:mod) >> space.maybe >> iteration.as(:divisor)).as(:mod) |
+          ((power_base_rules >> power_base).as(:dividend) >> space.maybe >> str("mod").as(:mod) >> space.maybe >> iteration.as(:divisor)).as(:mod) |
+          (power_base_rules.as(:dividend) >> space.maybe >> str("mod").as(:mod) >> space.maybe >> iteration.as(:divisor)).as(:mod)
+      end
+
       rule(:iteration) do
         table.as(:table) |
-          (sequence.as(:dividend) >> str("mod").as(:mod) >> sequence.as(:divisor)).as(:mod) |
-          (sequence >> base >> sequence.as(:base) >> power >> sequence.as(:exponent)).as(:power_base) |
-          (sequence >> base >> sequence).as(:base) |
-          (sequence >> power >> sequence).as(:power) |
+          comma.as(:comma) |
+          mod |
+          (sequence.as(:sequence) >> space.maybe >> str("//").as(:symbol)) |
+          (str("color") >> color_value.as(:color) >> sequence.as(:color_value)) |
+          frac |
+          (power_base_rules >> power_base) |
+          power_base_rules |
           sequence.as(:sequence) |
           space
       end
 
       rule(:expression) do
         left_right.as(:left_right) |
-          (iteration >> expression).as(:expr) |
-          (iteration >> str("/").as(:/) >> iteration).as(:expr) |
-          str("")
+          (iteration >> space.maybe >> expression).as(:expr) |
+          (base.as(:symbol) >> expression.maybe).as(:expr) |
+          (power.as(:symbol) >> expression.maybe).as(:expr) |
+          str("") |
+          (rparen.as(:rparen) >> space.maybe >> controversial_symbols >> comma.as(:comma).maybe >> expression).repeat(1).as(:expr) |
+          (power.as(:symbol) >> space.maybe >> expression).as(:expr) |
+          comma.as(:comma).maybe
       end
 
       root :expression
@@ -104,16 +152,33 @@ module Plurimath
       def arr_to_expression(arr, name = nil)
         type = arr.first.class
         arr.reduce do |expression, expr_string|
-          as_value = name.nil? ? expr_string || expression : name
-          expression = str(expression).as(as_value) if expression.is_a?(type)
-          expression | str(expr_string).as(as_value)
+          expression = str(expression).as(name) if expression.is_a?(type)
+          expression | str(expr_string).as(name)
         end
       end
 
       def read_text
         dynamic do |_sour, context|
           rparen = Constants::PARENTHESIS[context.captures[:paren].to_sym]
-          match("[^#{rparen}]").repeat.as(:text)
+          match("[^#{rparen}]").repeat
+        end
+      end
+
+      def hash_to_expression(arr)
+        type = arr.first.class
+        @@expression ||= arr.reduce do |expression, expr_string|
+          expression = dynamic_parser_rules(expression) if expression.is_a?(type)
+          expression | dynamic_parser_rules(expr_string)
+        end
+      end
+
+      def dynamic_parser_rules(expr)
+        first_value = str(expr.first.to_s)
+        case expr.last
+        when :symbol then first_value.as(:symbol)
+        when :unary_class then (first_value.as(:unary_class) >> space.maybe >> sequence.maybe).as(:unary)
+        when :fonts then first_value.as(:fonts_class) >> space.maybe >> sequence.as(:fonts_value)
+        when :special_fonts then first_value.as(:bold_fonts)
         end
       end
     end

data/lib/plurimath/asciimath/parser.rb

@@ -10,11 +10,13 @@ module Plurimath
 
       def initialize(text)
         @text = text
+                  &.gsub(/(\|:|:\|)/, "|")
+                  &.gsub(/(\{:)/, "ℒ")
+                  &.gsub(/(:\})/, "ℛ")
       end
 
       def parse
         nodes = Parse.new.parse(text)
-        nodes = JSON.parse(nodes.to_json, symbolize_names: true)
         transformed_tree = Transform.new.apply(nodes)
         return transformed_tree if transformed_tree.is_a?(Math::Formula)