Constant GDK_KEY_gabovedot 

pub const GDK_KEY_gabovedot: c_int = 757;