Data.Vinyl.Unicode

type x (∈) xs

type xs (⊆) ys

type r1 (≅) r2

(≅)