> On 16 May 2016, at 11:10, Hans Hagen <pra...@wxs.nl> 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.
___________________________________________________________________________________
If your question is of interest to others as well, please add an entry to the
Wiki!
maillist : ntg-context@ntg.nl / http://www.ntg.nl/mailman/listinfo/ntg-context
webpage : http://www.pragma-ade.nl / http://tex.aanhet.net
archive : http://foundry.supelec.fr/projects/contextrev/
wiki : http://contextgarden.net
___________________________________________________________________________________
