Constant GDK_KEY_Greek_PI 

pub const GDK_KEY_Greek_PI: c_int = 2000;