progit/progit — pull request #720 by arcofam (2014-04-09 04:55:56+00:00)
Title: backport 44936fd to other language and pdf

This change needs to be backported to all languages. The pdf toolchain
processes this formula with a transformation to some latex mathematic
typesetting and therefore needs to be updated.