Sinal de igual com linha vertical

A linha vertical | é um pouco alta para o meu gosto. A seguinte definição para \vneq diminui a altura total da linha vertical para corresponder à altura total de \neq. O redimensionamento da altura vertical não mudará a espessura da linha na direção horizontal.

• A largura e a altura finais da linha vertical podem ser ajustadas redefinindo macros \vneqxscale e \vneqyscale. O padrão é 1.
• \mathpalette permite que o símbolo seja redimensionado automaticamente.

Arquivo de exemplo:

A altura pode ser ainda mais reduzida, por exemplo:

Resultado para mathabx:

Resultado para txfonts:

Resultado para MnSymbol:

Aqui, a linha vertical é muito grossa e o redimensionamento horizontal precisa ser reduzido:

Resultado para MnSymbol e \vneqxscale = .67:

Alternativa para varnothing

Em vez de alterar \neq, o vazio conjunto de símbolos \varnothing pode ser construído usando \not para coincidir com a inclinação das linhas verticais inclinadas. No entanto, \circ é muito pequeno e \bigcirc muito grande. Portanto, este método é mostrado para txfonts que fornece \medcirc e MnSymbol com \medcircle.

Resultado para txfonts:

Resultado para MnSymbol: