$$\mathrel{|}\joinrel =$$