XeLaTeX / LuaLaTeX + unicode-math 包，选个合适的字体，然后\mathbb{1}。\documentclass{minimal}\us...
一般的做法是定义引理环境自动编号
这种字体叫做 blackboard bold。如图[1]，可以选择多种宏包输入：\usepackage{bbm, dsfont}\begin{docu...
这个字符可以在Unicode码表里找到 - Mathematical Double-Struck Digit One: U+1D7D9 - Unicode Characte...