symbols: don't encode vertical bars as nonexistent HTML entities.

Excerpt from https://www.lyx.org/trac/ticket/12221#comment:11

Created by lynx
This commit is contained in:
Thibaut Cuvelier 2021-12-06 22:19:36 +01:00
parent 0e0b76a76e
commit 5b62d43835

View File

@ -374,8 +374,8 @@ sqsubseteq cmsy 118 0 mathrel ⊑ ⊑
sqsupseteq cmsy 119 0 mathrel ⊒ ⊒
parallel cmsy 107 0 mathrel ∥ ∥
mid cmsy 106 124 mathrel ∣ ∣
lvert cmsy 106 124 mathrel &lvert; | amsmath
rvert cmsy 106 124 mathrel &rvert; | amsmath
lvert cmsy 106 124 mathrel | | amsmath
rvert cmsy 106 124 mathrel | | amsmath
dashv cmsy 97 0 mathrel ⊣ ⊣
vdash cmsy 96 0 mathrel ⊢ ⊢
nearrow cmsy 37 0 mathrel ↗ ↗