if(isset($_POST['proc'])) {print ("el valor ingresado es {$_POST['texto']}");}
if(isset($_POST["proc"])) {print ("el valor ingresado es " . $_POST["texto"]);}