mathlex 0.4.1

Mathematical expression parser for LaTeX and plain text notation, producing a language-agnostic AST
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28

{
  "kind": "SetBuilder",
  "value": {
    "domain": {
      "kind": "NumberSetExpr",
      "value": {
        "kind": "Real"
      }
    },
    "predicate": {
      "kind": "Inequality",
      "value": {
        "left": {
          "kind": "Variable",
          "value": "x"
        },
        "op": {
          "kind": "Gt"
        },
        "right": {
          "kind": "Integer",
          "value": 0
        }
      }
    },
    "variable": "x"
  }
}