使用逻辑符号表达以下陈述：

"如果下雨，那么地面是湿的"

使用：

• R 表示"下雨"
• W 表示"地面是湿的"
• → 表示蕴含

使用计算器中可用的符号输入你的答案。