Revision history of "greater than or equal (natural numbers)" (Z13682)
Koho ʻokoʻa: Kaha i nā pahu lekiō o nā kāmua no ka hoʻokūkū ʻana a kāomi ke kāhoʻi aiʻole ka pihi ma ka lalo.
Pahu hōʻailona: (okawā) = ka ʻokoʻa me ke kāmua houloa, (aku nei) = ka ʻokoʻa me ke kāmua i hana mua, iki = he hoʻololi iki ia.