I was curious if anyone knows of a userpackage that has a good call for a quoteint ring Field extentions ect..

This is what I have been using and it doesn't look so hot.

$\displaystyle \mathbb{F}[x] \bigg/ m_{\alpha} $

\mathbb{F}[x] \bigg/ m_{\alpha}

Then I tried this

$\displaystyle {}^{\mathbb{F}[x]} / {}_{m_{\alpha}} $

{}^{\mathbb{F}[x]} / {}_{m_{\alpha}}

It looks better but the slant is off and it is very small.

Any Idea's on how to fudge an existing package would be great too.