# -*- mode: snippet -*-
# contributor: João Diogo Duarte
# name: ge0
# key: ge0
# --
0 <= $1