0

Each time i type $\emptyset$ an ugly (if I may say so, I think it's ugly), or rather unexpected slashed circle comes out instead of the (expected) emptyset. I want my \emptyset! What should I do?

The packages that I use are:

\documentclass[12pt, a4paper]{report}  
\usepackage[utf8]{inputenc}   
\usepackage[T1]{fontenc}  
\usepackage{amsfonts, amsmath, amscd, amssymb, latexsym,amstext,amsthm}  
\usepackage[all]{xy}  
\usepackage{textcomp}  
\usepackage{mathabx}  
%\usepackage{MnSymbol}  
\usepackage{newlfont}  
%\usepackage{eufrak}  
\usepackage{bussproofs}  
\input{nprooftree.tex}  
\usepackage[english]{babel}  
\usepackage{pifont}   
\usepackage{verbatim}    
\usepackage{cmll}  
\usepackage{graphicx}  
\usepackage{tikz-cd}  
\graphicspath{ {images/} }  
  • Can you show us a picture of this "ugly [beast]"? – Werner Jun 30 '15 at 2:50
  • Maybe you are looking for \varnothing? (Provided by amssymb.) – cfr Jun 30 '15 at 2:53
  • @ Werner It's too ugly! (I don't know how to do that ), however, it looks like \varnothing but bigger, say the size of a capital letter. – Tyche Jun 30 '15 at 2:54
  • Is it like a zero in shape or is it really a circle? Because, by default, \emptyset gives you a thin symbol and \varnothing gives you a fatter one which is a circle. – cfr Jun 30 '15 at 2:55
  • Can you post a minimal document \documentclass... which produces the symbol you don't like? Then we can at least figure out what you are getting and want to change. – cfr Jun 30 '15 at 2:56
3

Remove mathabx to restore the default \emptyset.

  • @ cfr It looks like only the emptyset has changed. Thank you. – Tyche Jun 30 '15 at 3:17
  • 2
    @Guest I really recommend pruning the font packages you are loading. Things are likely to produce weirdly confusing results. At least make sure you know why you are loading each one and make sure you really need to. – cfr Jun 30 '15 at 3:23

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.