User:Jon Awbrey/CODE

IDS Codes

• y0 = y \(\cdot\) y >= {d, f}{d, f} >= {d}{d}

• \(y_0 = y \cdot y >= {d, f}{d, f} >= {d}{d}\)