- | ∃∃I,L1,L2,V1,V2. L1 ≛[V1] L2 & V1 ≛ V2 & Y1 = L1.ⓑ{I}V1 & Y2 = L2.ⓑ{I}V2
- | â\88\83â\88\83f,I,L1,L2. ð\9d\90\88â¦\83fâ¦\84 & L1 â\89\9b[f] L2 & Y1 = L1.â\93¤{I} & Y2 = L2.â\93¤{I}.
+ | ∃∃I,L1,L2,V1,V2. L1 ≛[V1] L2 & V1 ≛ V2 & Y1 = L1.ⓑ[I]V1 & Y2 = L2.ⓑ[I]V2
+ | â\88\83â\88\83f,I,L1,L2. ð\9d\90\88â\9dªfâ\9d« & L1 â\89\9b[f] L2 & Y1 = L1.â\93¤[I] & Y2 = L2.â\93¤[I].