The vertical alignment of the |- and |= math symbols

#1

Hi, I am using all default fonts, but I am having a problem with
$a | TAB - b$. The |- symbol is placed too high between the a and the b.
Likewise with the |= symbol, i.e. $a | TAB = b$.
Does anyone else have this problem?

#2

I made a comparison with LaTeX, with the assumption that LaTeX aligns the symbols correctly.

LaTeX, with code

$a \vdash b$

$a \models b$

image

TeXmacs

image

To me it seems that TeXmacs’ |= symbol has different alignment from Latex’ one; the |- symbol seems to me to have at least approximately the same alignment.

Perhaps one can open a bug report on Savannah.