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.