compute-engine icon indicating copy to clipboard operation
compute-engine copied to clipboard

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

Open mathematicswizard opened this issue 1 year ago • 0 comments

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

mathematicswizard avatar Mar 30 '24 11:03 mathematicswizard