Hatikvah was officially established by law as the national anthem.