Translations:Manual:$wgUseTeX/15/en

This stuff is called extensions.