Was Immanuel a real name?
Was Immanuel (עִמָּנוּאֵל, "God with us") a legitimate name that predated Isaiah’s writing it? Was it something that you might actually name your baby boy? Or is it a made-up symbolic name just like Isaiah’s Maher-shalal-hash-baz…