Constant GDK_KEY_malesymbol 

pub const GDK_KEY_malesymbol: c_int = 2807;