<?$z=str_repeat;while($s=fgets(STDIN)){echo$s>1?'/'.$z('-',$s*2-2).'\\x0d
':'\xe2\x97\x87\x0d
';for($i=1;$i<$s;$i++)echo $z(' ',$i).'\\'.$z(' ',($s-$i-1)*2).'/\x0d
';};
Note that non-ascii characters in the above source code will be escaped (such as \x9f).