Constant GDK_KEY_Greek_tau 

pub const GDK_KEY_Greek_tau: c_int = 2036;