x ∈ N ⇒ ◻ {\displaystyle x\in \mathbb {N} \Rightarrow \Box }
-- Gtrs 17:30, 25. Nov. 2006 (CET)
[[Benutzer:Gtrs|Gtrs [[Benutzer_Diskussion:Gtrs|Disk]]]] 18:23, 25. Nov. 2006 (CET)