On 03/13/2016 03:46 PM, Phillip Lord wrote:
> In this day and age, these are not really fancy, but basic technology.
> Fortunately, most of them just work.

In that case, let's demo prettify-symbols-mode :)