add information equivalence notation