Translations:Manual:$wgMathTexvcCheckExecutable/3/de-formal