'; echo '

'.get_lang('LatexCode').'

'; echo stripslashes($code); echo ''; echo '
'; echo '

'.get_lang('LatexFormula').'

'; echo ''.get_lang('LatexCode').''; echo '
'; /* FOOTER */ ?>