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

XahTV 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