数学

リンク

記号の説明： http://us.metamath.org/mpeuni/mmtheorems.html