jgm/pandoc — pull request #1518 by jkr (2014-08-11 15:09:33+00:00)
Title: Symbol font improvements from mpickering.

Most notably: make the fonts part of the parser's environment (along with the notes, media, etc.).