Closed gtg922r closed 1 year ago
User should have the option to have input (and potentially output) render as Tex
Implemented in de53963d9b6680b577c4d1fd3e6addef8c7a84da, released in 0.0.12
User should have the option to have input (and potentially output) render as Tex