<entry>
<ent_seq>2860176</ent_seq>
<k_ele>
<keb>証終</keb>
</k_ele>
<r_ele>
<reb>しょうしゅう</reb>
</r_ele>
<sense>
<pos>&n;</pos>
<field>&math;</field>
<s_inf>abbr. of 証明が終わった</s_inf>
<gloss>end of proof marker</gloss>
<gloss>QED</gloss>
</sense>
</entry>
Notes
- Click on the entry seq# to see all versions of the entry.
- ⇒,⇔,⇐ Denote cross references (xrefs). ⇒ shows an xref from this entry sense to some other entry. ⇐ shows an xref on some other entry that points to this one; to change, edit the other entry. ⇔ indicates two xrefs, one in each direction.
- Cross references marked with an asterisk (*) after the seq# denote a reference to an unapproved entry. These will disappear when the unapproved entry is approved.