バックスラッシュ記号が表示できません

dokoCでは、利用端末による影響を防ぐため、半角円記号と半角バックスラッシュ記号について以下の取り扱いをしています。

• ソースコード上の半角円記号(¥・0xA5)は、半角バックスラッシュ文字(\・0x5C)に置換して実行
• 実行結果表示上の半角バックスラッシュ文字(\・0x5C)は、半角円記号(¥・0xA5)に置換

そのため、ソースコード上で\\というエスケープシーケンスを用いても、結果表示では「¥」として表示されるというシステム制約があります。