0863132人目の素数さん垢版 | 大砲2018/01/24(水) 11:02:14.99ID:+2xm1rsq amssymb に \nmid と \nshortmid があるけれど、 \nmid は見た目、斜線が短いですね