In UTF-8, it would be '\xe2\x88\x88' if your locale can be set to UTF-8 (or if it already is UTF-8). Otherwise, you would need to have a way to print Unicode strings. Some platforms allow you to use `wprintf(L"a \u2208 A\n");`, assuming `__STDC_ISO_10646__` is `#define`d. Otherwise, we will need to know what platform you're working with.
– Dec 27 '13 at 18:40