レスありがとうございます。そうなんですか。ちなみに
$str = "¥¥1200";
echo ($str);
は¥1200と出力されますが、
$str = "¥¥えんまーく";
echo ($str);
は¥えんまーくと出力されます。
こういうもんなんですか？¥付の値段を出力したいときはどうすればいいのでしょうか？