MathJax icon indicating copy to clipboard operation
MathJax copied to clipboard

Published 20 hours ago • verified publisher icon mathjax

\not\models looks identical to \not\vDash.

Open unageek opened this issue 3 years ago • 0 comments

Issue Summary

The symbol rendered by \not\models looks identical to \not\vDash, but the double turnstile should look larger.

Steps to Reproduce:

Render $\models \vDash \not\models \not\vDash$ in MathJax Live Demo.

Technical details:

  • MathJax Version: 3.1.2
  • Client OS: Windows 10 2004
  • Browser: Chrome 85.0.4183.102

Supporting information:

image

unageek avatar Sep 21 '20 04:09 unageek