2860176 jmdict R [id=2291786] 証終 しょうしゅう [1][n][fld=math] [note="abbr. of 証明が終わった"] end of proof marker; QED