!mine || is it?

if (isset($_SESSION['theme']) || (isset($_SESSION['font']) || (isset($_SESSION['size']) || (isset($_SESSION['name'])) {	echo "\t\t\t\t<br><br><font size='$size' face='$font'>\n";	echo "\t\t\t\t<b>Hei $name</b><br><br>\n";	echo "\t\t\t\tHer er siden vist i henhold til dine innstillinger!<br><br>\n";	echo "\t\t\t\tDu kan lett endre disse innstillingene om du<br>fyller ut skjemaet på nytt.\n";	echo "\t\t\t\t</font>\n";	echo "\t\t\t\t<br><br><br><hr><br>\n";}