Re: [NTG-context] Latin setupmathematics

On 16 May 2016, at 11:10, Hans Hagen wrote:

On 5/16/2016 10:59 AM, Hans Åberg wrote:

...

The TeX syntax is too loose to do input that is close to the input. For example, in math, if properly parsed, the "{…}” can often be replaced by the normal “(…)”, and the the engine can decide to remove them when unnecessary, as in say e^(x+y).

asciimath tries to do that (is supported in context) but it has to be used very structured in order to not run into its weird aspects

I worked on a theorem proof assistant, which then checks that the math is correct, but it then turned out complicated to write TeX code.