The < and > symbols should be shown in the HTML source but the "" is interpreted as XML tag. Use htmlentities() to convert all special characters in the String into their HTML-equivalents, or use "<machine>"
Solution:
$output .= " ";
$output = htmlentites($output);
echo $output;