Symbol: ltl_atoms_init