Thread:Z-FunWithBooks/@comment-38091275-20190221141432/@comment-37611621-20190223194351

For the font, you do this to make this happen:

For the font, you do this to make this happen: