def geq_indicate(var, indicator, var_max, thr):
    """Generates constraints that make indicator 1 iff var >= thr, else 0.

    Parameters
    ----------
    var : str
        Variable on which thresholding is performed.
    indicator : str
        Identifier of the indicator variable.
    var_max : int
        An upper bound on var.
    the : int
        Comparison threshold.

    Returns
    -------
    List[str]
        A list holding the two constraints.
    """
    
    lb = "- %s + %d %s <= 0" % (var, thr, indicator)
    ub = "- %s + %d %s >= -%d" % (var, var_max - thr + 1, indicator, thr - 1)

    return [lb, ub]