"3"^^ . "4"^^ . . . . . . . . "LTL"@el . .