Manual:$wgMathTexvcCheckExecutable/de-formal

Details
The link to the texvc executable.

TODO: Replace that by an latex grammar implemented in php