Searched refs:affiche_symbol (Results 1 – 1 of 1) sorted by relevance
377 function affiche_symbol($texte,$haut) function677 $image=affiche_symbol($style,$hauteur);1133 $imgrac=affiche_symbol("_racine",$hauteurexp+2);1167 $imgrac=affiche_symbol("_racine",$hauteurexp+2);1211 $imgsymbole=affiche_symbol($caractere,$baseexp*1.8);//max($baseexp,$hauteurexp-$baseexp)*2);1450 $imgsup=affiche_symbol("right",16);1518 $imgsup=affiche_symbol("_hat",$taille);