Semnul egal cu linia verticală

Linia verticală | este puțin înaltă pentru gustul meu. Următoarea definiție pentru \vneq reduce înălțimea totală a liniei verticale pentru a se potrivi cu înălțimea totală a \neq. Redimensionarea înălțimii verticale nu va schimba grosimea liniei în direcția orizontală.

• Witdh-ul final și înălțimea liniei verticale pot fi reglate fin redefinind macrocomenzile \vneqxscale și \vneqyscale. Valoarea implicită este 1.
• \mathpalette permite simbolului să se redimensioneze automat.

Exemplu de fișier:

Înălțimea poate fi redusă și mai mult, de ex.

Rezultat pentru mathabx:

Rezultat pentru txfonts:

Rezultat pentru MnSymbol:

Aici linia verticală este prea groasă și redimensionarea orizontală trebuie să se micșoreze:

Rezultat pentru MnSymbol și \vneqxscale = .67:

Alternativă la varnothing

În loc să schimbi \neq, golul simbolul set \varnothing ar putea fi construit folosind \not pentru a se potrivi cu panta liniilor verticale înclinate. Cu toate acestea, \circ este prea mic și \bigcirc prea mare. Prin urmare, această metodă este afișată pentru txfonts care oferă \medcirc și MnSymbol cu \medcircle.

Rezultat pentru txfonts:

Rezultat pentru MnSymbol: