I'm not super excited about embedding this char directly in the source - would you mind changing it to use a Unicode escape sequence along with a comment identifying the character? Thanks!