＊＊＊ TEXLCi は登録されていません。＊＊＊