macro_rules! ax {
    ( $x:literal % ) => { ... };
    ( $x:literal ) => { ... };
    ( $x:ident % ) => { ... };
    ( $x:ident ) => { ... };
    ( ( $x:tt + $($y:tt)+ ) ) => { ... };
    ( $x0:tt $x1:tt + $($y:tt)+ ) => { ... };
    ( $x:tt + $($y:tt)+ ) => { ... };
    ( ( $($x:tt)+ ) * $($y:tt)+ ) => { ... };
    ( $x0:tt ^ $x1:tt * $($y:tt)+ ) => { ... };
    ( $x0:tt * $x1:tt * $($y:tt)+ ) => { ... };
    ( $x0:tt $x1:tt * $($y:tt)+ ) => { ... };
    ( $x:tt * $($y:tt)+ ) => { ... };
    ( $x:tt ^ ( $($y:tt)+ ) ) => { ... };
    ( $x0:tt $x1:tt ^ $($y:tt)+ ) => { ... };
    ( $x:tt ^ $($y:tt)+ ) => { ... };
}
Expand description

Macro for Algexenotation.

  • x: hyperprime
  • x%: original natural number 3
  • x^y: power
  • x*y: multiply
  • (x+y): hyperprime addition