I basically want this symbol, but I want it to resize properly: While


looks good, when I try to resize using \biggl, then the horizontal space between the two slashes becomes very large:


Is there any solution to this? None of the suggestions in the original question resize properly.

Thanks a lot in advance!

  • By using biggl/ you are making / big. Corresponding spacing also will increase. Adjust \mkern value accordingly. But why should you use biggl/, I don't understand. – user11232 Feb 23 '14 at 14:03
  • You should use \big, not \bigl. Also \biggl. and \biggr. are completely useless. – egreg Feb 23 '14 at 14:22
  • Picture a situation where X and H are replaced by something much larger. I do not see why biggl and biggr are completely useless. Can you elaborate? – Jesko Hüttenhain Feb 23 '14 at 14:24
  • @JeskoHüttenhain What do you think \biggl. is doing? – egreg Feb 23 '14 at 14:58

First of all, \biggl. and \biggr. do exactly nothing, except introduce unwanted opening and closing atoms (and, possibly, the relative spacing).

Second, \bigl/ makes the bigger / an opening atom, so you should use \big, instead.

Third, the bigger / has wider sidebearings than the normal size symbol. If you need it only at normal and \big size, here's a way:



$X\dslash H$

$X\dslash* H$

enter image description here

If you want other sizes, then something more complex should be devised. Here's an example:


  \str_case:nn { #1 }

$X\dslash H$

$X\dslash[\big] H$

$X\dslash[\Big] H$

$X\dslash[\bigg] H$

$X\dslash[\Bigg] H$

enter image description here

| improve this answer | |
  • First of all, thanks. This is very help- and insightful. I have one more question, though: Is there any way to make this work with \left. and \right., in the sense that the \dslash is resized automatically? – Jesko Hüttenhain Feb 23 '14 at 16:04
  • Actually, I think that this is a whole different question, so I made it one. – Jesko Hüttenhain Feb 23 '14 at 16:21

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.