Replaced horizontal and vertical bar by a unicode &#8942;.