哪个包产生这些输出？

Question

有人知道哪个包可以生成这些类型的符号吗？具体来说，你可以看出，、、等符号要\leq小一些。\subseteq\in

Answer 1

字体已Mnsymbol打包...经过我 15 分钟的搜索和研究。

\documentclass[12pt]{article}

\usepackage{amsfonts,Mnsymbol}

\begin{document}
\[\mathbb{P}(X\leq a)\int_{-\infty}^a \]
\end{document}