User:Jon Awbrey/CODE

IDS Codes

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


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


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


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


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