Re: [Axiom-developer] Design of Semantic Latex

2016-10-05 Thread James Davenport
definitions in algebraic geometry (The Stacks Project). We use deep learning techniques. \\ ( https://arxiv.org/abs/1610.01044 From: Tim Daly [mailto:axiom...@gmail.com] Sent: 01 September 2016 13:25 To: Richard Fateman Cc: Tim Daly; axiom-dev; Ralf Hemmecke; James Davenport; Mike Dewar; vdhoe

Re: [Axiom-developer] Semantic Latex

2016-08-15 Thread James Davenport
Indeed, the semantics of LaTeX is pretty weak. I REALLY wouldn't like to start from there - even (good) MathML-P, with ⁢ etc. is much better. However, LaTeX is what we have, and what we are likely to have in the near future, so we must live with it, and yours seems like as good an accommodation