search

cortex-js / compute-engine

An engine for symbolic manipulation and numeric evaluation of math formulas expressed with MathJSON
https://cortexjs.io
MIT License
370 stars 45 forks source link

Quantification Propositions formulated with a dot (x.) are not recognized #157

Open mathematicswizard opened 6 months ago

mathematicswizard commented 6 months ago

Description

Writing a latex such as: \forall x.x\in A

is not recognize able by the Compute Engine and the MathJSON rendered is invalid.

Steps to Reproduce

Write in a mathfield: \forall x.x\in A

Actual Behavior

MathJSON: '["ForAll","x"]'

Expected Behavior

["ForAll","x",["SubsetEqual","x","A"]]

Environment

Latest MathLive as is used in the demo page on the site.

Operating System

Latest Chrome