Sneak in some more nice-to-have LaTeX fontifications.

This commit is contained in:
UndeadKernel 2018-04-11 13:03:59 +02:00
parent 0a23c30e06
commit 717f6e3cfe