Restoring a deleted file in GIT

Just because l always forget the exact syntax for restoring a deleted file from git

     git checkout <deleting_commit>^ -- <file_path>