It's like this:  (U+201C)  (U+201D).
how to type smart quotes (U+201C, U+201D)
xorg;keyboard;special characters;unicode
In Gnome, you would press and hold down Ctrl+Shift, then type u201c.Of course, that won't work in Gnome Terminal if Ctrl+Shift+c is bound to Copy, in which case type it in GEdit and paste it in, or learn how to enter it in your editor of choice.