Xah Talk Show 2021-05-06 Wolfram Language Typesetting, TeX, Problems of Traditional Math Notation, Syntax and Proof Systems

Xah Talk Show 2021-05-06 Wolfram Language Typesetting, TeX, Problems of Traditional Math Notation, Syntax and Proof Systems

Links mentioned:

xah_talk_show_2021-05-06.txt

Wolfram Language