Searched refs:symboles (Results 1 – 1 of 1) sorted by relevance
35 global $dirfonts,$dirimg,$symboles,$fontesmath;51 $symboles = array( variable379 global $symboles, $fontesmath, $dirfonts;415 $texte = $symboles[$texte];458 $texte = $symboles[$texte];505 if(isset($symboles[$texte])) $texte = $symboles[$texte];566 if(isset($symboles[$texte])) $texte = $symboles[$texte];654 global $symboles, $fontesmath;659 if(isset($symboles[$texte])) $texte = $symboles[$texte];