@Xyene apparently we do use \ge