(Exodus 15:1:) "THEN SANG MOSES" and so forth. This is what Scripture says (Song of Songs 4:8): "With me from Lebanon, O bride, [with me from Lebanon shall you come]." It need only have said "With me from Lebanon shall you come, O bride." What is the meaning of "with me from Lebanon shall you come"? Rather, in the world to come the Holy One, blessed be He, brings in and gathers the exiles of Israel, and they go to Jerusalem, and the Shekhinah goes forth to their meeting place (its meaning: to their depth), as it is said: "With me from Lebanon shall you come."
The Shekhinah Comes from Lebanon to Gather Exiled Israel
Midrash Tanchuma Buber, Beshalach 11:1
אז ישיר משה וגו' (שמות טו א), זש"ה אתי מלבנון כלה [אתי מלבנון תבואי] (שה"ש ד ח). לא היה צריך לומר אלא אתי מלבנון (תבואי) [כלה] מהו אתי מלבנון תבואי, אלא לעולם הבא הקב"ה מביא ומכנס גליותיהן של ישראל, והן הולכין לירושלים, והשכינה תצא לאנפטי (פי' לתהום) שלהם, שנאמר אתי מלבנון תבואי.