\section{TeX の時間} %%% 第 XIII 節 %%%

[0580 １３２人目の素数さん 2020/08/02(日) 14:30:41.82 ID:Z3mBzGCd]

パーセントだけを違うフォントに変えたい。
ほかにも同じこと考えてる人いないのかなあ？