でもLTLとかHTLとか書いてあるときはエッチタイムラインではなくエッチティーエルで読んでます。