Constant GDK_KEY_tabovedot 

pub const GDK_KEY_tabovedot: c_int = 16785003;