\lvert and \rvert should be to U+007C and \lVert and \rVert to U+2016 #1175
Description
Currently these map to U+2223 and U+2225, which are not appropriate for delimiters.
{{ message }}
Currently these map to U+2223 and U+2225, which are not appropriate for delimiters.