USキーボード使いって、¥の入力方法でもいろんな流派があるんだろ?