<?PHP // $Id$


$string['filtername'] = 'TeX数学符号';
?>