Guest User

Untitled

a guest
May 22nd, 2018
78
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.82 KB | None | 0 0
  1. documentclass{article}
  2. usepackage{amssymb}
  3. newcommanddoesnotentail{mkern-2munotmkern2muvdash}
  4. begin{document}
  5. $Adoesnotentail B$
  6.  
  7. $Avdash B$
  8. end{document}
  9.  
  10. documentclass{article}
  11. usepackage{amssymb,stackengine}
  12. newcommanddoesnotentail{mathrel{ensurestackMath{%
  13. stackengine{.175em}{vdash}{scriptstyle/}{O}{c}{F}{F}{L}}}}
  14. begin{document}
  15. $Adoesnotentail B$ via stackengine
  16.  
  17. $Avdash B$ textbackslash vdash
  18.  
  19. $Anvdash B$ textbackslash nvdash
  20. end{document}
  21.  
  22. documentclass{article}
  23. usepackage{amsmath,graphicx}
  24.  
  25. DeclareRobustCommand{notvdash}{%
  26. mathrel{mathpalettevdashnotvdash}%
  27. }
  28. makeatletter
  29. newcommand{vdashnot}[2]{%
  30. sbox0{$m@th#1#2$}%
  31. sbox2{raisebox{depth}{$m@th#1/$}}%
  32. ooalign{%
  33. hidewidthkern0.1emresizebox{1.1width}{ht0}{box2}hidewidthcr
  34. box0cr
  35. }%
  36. }
  37. makeatother
  38.  
  39. begin{document}
  40.  
  41. $Anotvdash B$
  42.  
  43. end{document}
Add Comment
Please, Sign In to add comment