No, it should be rendered with the proper Unicode: U+203D ‽