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

"系统安全当且仅当防火墙未被禁用"

使用：

• S 表示"系统安全"
• D 表示"防火墙被禁用"
• ↔ 表示双条件（当且仅当）
• ¬ 表示否定（非）

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