⁴ As for our redeemer, the Lord of hosts is his name, the Holy One of Israel.

⁴ Our Redeemer, Jehovah of hosts is his name, the Holy One of Israel. ...

⁴ Our Redeemer speaks, named God-of-the-Angel-Armies, The Holy of Israel:

⁴ Our Redeemer-the Lord of hosts is his name- is the Holy One of Israel.