replace XML entities with dollar-curlies
Merge pull request #12 from mapleoin/revision-doc-curlies

replace XML entities with dollar-curlies