"Martin v. Löwis" <martin at v.loewis.de> ha scritto: > The character U+2205 is EMPTY SET; your terminal is not capable of > displaying that symbol. Ah... and not exist one solution? -- Noixe