円錐	191,951	88.6%	
円すい	24,582	11.4%

円錐 appears in a lot of compounds but it's not really a prefix.

@@ -8,0 +9 @@
+<ke_inf>&sK;</ke_inf>
@@ -15 +15,0 @@
-<pos>&n-pref;</pos>

@@ -16 +16 @@
-<field>&math;</field>
+<field>&geom;</field>

gg5, luminous, prog
区別	2,890,461	99.9%	
區別	3,972	        0.1%

@@ -12 +12 @@
-<ke_inf>&oK;</ke_inf>
+<ke_inf>&sK;</ke_inf>
@@ -26 +26,2 @@
-<gloss>classification</gloss>
+<gloss>discrimination</gloss>
+<gloss>difference</gloss>

meikyo

@@ -22,0 +23 @@
+<pos>&vt;</pos>

Not sure it helps much.

https://eow.alc.co.jp/search?q=弧を描く
https://meaning-book.com/blog/20191220143412.html

@@ -14,0 +15 @@
+<gloss>to form an arc</gloss>

gg5

@@ -13,1 +13,2 @@
-<gloss>to describe an arc</gloss>
+<gloss>to draw an arc (e.g. with a compass)</gloss>
+<gloss>to describe an arc (e.g. through the air)</gloss>

Added additional PoS via batch update.Added additional PoS via batch update.
-*- via bulkupd.py -*-

@@ -12,0 +12,1 @@
+<pos>&v5k;</pos>

GG5, etc. "high [elevated] ground; a hill; a height; an elevation; an eminence; a rise of ground."

I found much of this edit a bit distracting and cluttered. I've gone back to the previous version, which was more like the JEs. I have no problem with "high ground".

@@ -16,3 +16,3 @@
-<gloss>hill (overlooking a lower area)</gloss>
-<gloss>higher ground</gloss>
-<gloss>the high ground (i.e. in a battle)</gloss>
+<gloss>high ground</gloss>
+<gloss>elevation</gloss>
+<gloss>hill</gloss>
@@ -20 +19,0 @@
-<gloss>elevation</gloss>

On reflection, "the high ground" is so *bad* in a non-military context, I think it needs a warning.  We don't need any more "In the even of a tsunami, move to the high ground" translations...

I don't particularly mind omitting it entirely.

@@ -18 +18 @@
-<gloss>the high ground</gloss>
+<gloss>the high ground (i.e. in a battle)</gloss>

daijs: 周囲よりも高く、平らになっている土地。だい。 <--- explicitly taller than the surrounding area.  Not a hill in a hilly area

Many E->J resources give 高台 as an option for "plateau"
https://ejje.weblio.jp/content/plateau

https://context.reverso.net/translation/japanese-english/高台#plateau
hill: ~136
hilltop: 7 more
high ground: ~39
higher ground: ~24
plateau ~17
elevated ~10
elevation ~8

plateau "a highland consisting of flat terrain that is raised sharply above the surrounding area on at least one side"

Came to add "plateau". Not the most common collocation, but a useful one.  As in "A house on a plateau", a house that looks out over the city by virtue of being build on an some tall geological outcropping. 

I encountered in such a scenario, the "good" translator used "plateau", and if you google image search 高台 you'll get a lot of these "house looking over a city" image results.

"hill", as in "a hill overlooking", is by far the most common collocation, but needs some kind of [expl] to make sense.  The surrounding glosses are not enough to make this clear.

I put "elevation" last both because it's lower in frequency, and because it seems like a somewhat [form] gloss by comparison. Reverso example: "Greene chose to encamp his army about a mile and a half away on a small elevation called Hobkirk's Hill".  Perfectly fine, of course, but not the word most people would reach for in common scenarios, I don't think.

"higher ground" vs "high ground".  You can see for yourself, but the "high ground" glosses mostly have a very clunky J->E literal-translation vibe to me. And in many cases "higher ground" (in the event of a tsunami, move to high/higher ground) seems like "higher ground" could just be swapped in to make it more natural.  "higher ground" also explicitly contains the nuance of "than the surrounding area". 
https://context.reverso.net/translation/japanese-english/高台#high+ground

The exception are uses of "the high ground", especially in military confrontation scenarios.  But "the" is almost obligatory. (Even found in a wide constructions like: "The question of moving the fortress to the more advantageous high ground...").  

"The army took high ground" (no good), "the army took the high ground", perfect.  Two confronting armies can't both have their own high grounds, there can be only one... hence "the" (my off-hand analysis)

The "higher ground" translations are by and large *much* more natural:
https://context.reverso.net/translation/japanese-english/高台#higher+ground

No more [adj-no] than 山："on a mountain" vs. "on a hill"
高台の	118490	  
高台の宿	10721	  
高台の上	8575	  
高台の宿森	3103	  
高台のホテル	3032	  
高台の住宅	2839	  
高台の公園	2788

@@ -16,2 +16,4 @@
-<pos>&adj-no;</pos>
-<gloss>high ground</gloss>
+<gloss>hill (overlooking a lower area)</gloss>
+<gloss>higher ground</gloss>
+<gloss>the high ground</gloss>
+<gloss>plateau</gloss>
@@ -19 +20,0 @@
-<gloss>hill</gloss>

@@ -16,0 +17 @@
+<gloss>high ground</gloss>
@@ -18 +19 @@
-<gloss>high ground</gloss>
+<gloss>hill</gloss>

Shinsen has this tagged as both 名 and 形動. Meikyo and sankoku only have 名.

Not seeing a reason for the [col] tag.
I'm merging the similar two glosses together.
Adding an [exp] tag since that is how we're glossing this.

@@ -14,0 +15 @@
+<pos>&exp;</pos>
@@ -16 +16,0 @@
-<misc>&col;</misc>
@@ -19,2 +19 @@
-<gloss>everyone has his own ideas and tastes</gloss>
-<gloss>everyone has his own interests and ideas</gloss>
+<gloss>everyone has his own (ideas, tastes, interests, etc.)</gloss>

@@ -18 +18 @@
-<gloss>Several men, several minds</gloss>
+<gloss>several men, several minds</gloss>

Kanji Haitani list

Adding yoji tagAdding yoji tag
-*- via bulkupd.py -*-

@@ -16,0 +17 @@
+<misc>&yoji;</misc>

@@ -13 +13,2 @@
-<gloss>Chrysanthemum Festival (one of the five annual festivals; celebrated on the 9th day of the 9th lunar month)</gloss>
+<gloss>Chrysanthemum Festival</gloss>
+<gloss g_type="expl">one of the five annual festivals; celebrated on the 9th day of the 9th lunar month</gloss>

菊の節句 should be aligned w this

@@ -13 +13 @@
-<gloss>Chrysanthemum Festival (the 9th day of the 9th lunar month) (one of the five annual festivals)</gloss>
+<gloss>Chrysanthemum Festival (one of the five annual festivals; celebrated on the 9th day of the 9th lunar month)</gloss>

@@ -13,1 +13,1 @@
-<gloss>Chrysanthemum Festival (the 9th day of the 9th lunar month)(one of the five annual festivals)</gloss>
+<gloss>Chrysanthemum Festival (the 9th day of the 9th lunar month) (one of the five annual festivals)</gloss>

gg5, chujiten, prog, luminous
日頃	4,125,304		
日ごろ	1,190,773

Only one sense in the kokugos but chujiten and prog split. I think this is clearer.

@@ -5 +5 @@
-<keb>日ごろ</keb>
+<keb>日頃</keb>
@@ -11 +11 @@
-<keb>日頃</keb>
+<keb>日ごろ</keb>
@@ -19,0 +20 @@
+<pos>&adv;</pos>
@@ -20,0 +22,5 @@
+<gloss>usually</gloss>
+<gloss>habitually</gloss>
+<gloss>always</gloss>
+</sense>
+<sense>
@@ -22,2 +28,2 @@
-<gloss>normally</gloss>
-<gloss>habitually</gloss>
+<pos>&n;</pos>
+<gloss>for a long time</gloss>

Bulk update n-adv to n,adv
-*- via bulkupd.py -*-

@@ -20 +20,2 @@
-<pos>&n-adv;</pos>
+<pos>&n;</pos>
+<pos>&adv;</pos>

Bulk update: Removal of n-t POS
-*- via bulkupd.py -*-

@@ -21 +20,0 @@
-<pos>&n-t;</pos>

I agree.

@@ -19 +18,0 @@
-<gloss>integrity</gloss>
@@ -22,4 +21 @@
-</sense>
-<sense>
-<pos>&n;</pos>
-<gloss>reviewing and changing insurance coverage or contract type</gloss>
+<gloss>integrity</gloss>

Not sure this should be an additional sense. It's more a rather idiosyncratic use of the term in one industry.

https://www.mikata-digital.com/特集-味方の見方/生命保険の-保全-を要チェック/

Seems to be insurance jargon. Saw it today at work.

@@ -22,0 +23,4 @@
+<sense>
+<pos>&n;</pos>
+<gloss>reviewing and changing insurance coverage or contract type</gloss>
+</sense>

mk

@@ -16,0 +17 @@
+<pos>&vt;</pos>

Meikyo, sankoku, iwakoku, and daijirin have jukujikun markers on しょうご.
Meikyo says it might be a corruption of じょうご【上戸】.

@@ -8,0 +9 @@
+<re_inf>&gikun;</re_inf>

Most refs mention the Chinese usage, and only a couple mention Ainu.

@@ -20 +20 @@
-<s_inf>used by Ainu and in ancient China</s_inf>
+<s_inf>used in ancient China and by Ainu</s_inf>

Iwakoku says it was used by both Ainu and non-Ainu Japanese people.
わじん【和人・倭人】
（昔、アイヌや中国人から見て）日本人。
［注意］アイヌからの場合は「和人」と書く。日本人が自称したこともある。

Sankoku also splits into two senses, one for the usage by the Ainu (和人) and one for the usage from ancient China (倭人).

https://ja.wikipedia.org/wiki/和人
和人は、アイヌ以外の日本人または大和民族が自分たちをアイヌと区別するために用いた自称である。和人は、アイヌの側からは「シサム」「シャモ」「シサムウタラ」（「隣人」の意）と呼ばれた。

Shimeikai has "〔中国人・アイヌ人の側からの呼び名〕日本人" but Wikipedia says it was used by (non-Ainu) Japanese people to distinguish themselves from the Ainu.
Are there any other sources that say it was used by the Ainu?

Wikipedia

@@ -20 +20 @@
-<s_inf>used in ancient China</s_inf>
+<s_inf>used by Ainu and in ancient China</s_inf>

@@ -19 +19 @@
-<misc>&arch;</misc>
+<misc>&hist;</misc>

[vi]: sankoku, meikyo, iwakoku, smk, etc.

@@ -32,0 +33 @@
+<pos>&vi;</pos>

gg5
daijr (落ち葉): "また，木の枝から落ちていく"

Added sense.
落ち葉 can also mean "falling leaves".

@@ -25 +24,0 @@
-<pos>&vs;</pos>
@@ -27,0 +27,9 @@
+<gloss>falling leaves</gloss>
+</sense>
+<sense>
+<stagr>らくよう</stagr>
+<pos>&n;</pos>
+<pos>&vs;</pos>
+<gloss>leaf fall</gloss>
+<gloss>dropping leaves</gloss>
+<gloss>defoliation</gloss>

@@ -26,1 +26,0 @@
-<pos>&adj-no;</pos>
@@ -29,2 +28,5 @@
-<gloss>defoliation</gloss>
-<gloss>shedding leaves</gloss>
+</sense>
+<sense>
+<stagr>らくよう</stagr>
+<pos>&adj-no;</pos>
+<gloss>deciduous</gloss>

daij, meikyo, prog, chujiten

I think this sense should lead.

@@ -17,0 +18,9 @@
+<gloss>person who clears the way for a high-ranking person, procession, etc.</gloss>
+<gloss>outrider</gloss>
+<gloss>harbinger</gloss>
+<gloss>forerunner</gloss>
+</sense>
+<sense>
+<pos>&n;</pos>
+<pos>&vs;</pos>
+<pos>&vi;</pos>
@@ -22,6 +30,0 @@
-<gloss>herald</gloss>
-<gloss>outrider</gloss>
-<gloss>harbinger</gloss>
-</sense>
-<sense>
-<pos>&n;</pos>
@@ -29 +32 @@
-<gloss>rikishi who leads the yokozuna to the ring prior to his ring-entering ceremony</gloss>
+<gloss>sumo wrestler who leads a yokozuna at his ring-entering ceremony</gloss>

JEs

Here goes.

@@ -18 +18 @@
-<gloss>leading (someone of high status)</gloss>
+<gloss>opening performer</gloss>
@@ -21,0 +22 @@
+<gloss>herald</gloss>
@@ -23 +24 @@
-<gloss>herald</gloss>
+<gloss>harbinger</gloss>

sankoku, daijr/s, smk, meikyo, obunsha

@@ -13,0 +14,6 @@
+<sense>
+<pos>&n;</pos>
+<pos>&vs;</pos>
+<pos>&vi;</pos>
+<gloss>leading (someone of high status)</gloss>
+</sense>

@@ -21,1 +21,2 @@
-<gloss>(sumo) rikishi who leads the yokozuna to the ring prior to his ring-entering ceremony</gloss>
+<field>&sumo;</field>
+<gloss>rikishi who leads the yokozuna to the ring prior to his ring-entering ceremony</gloss>

〈気／き／キ〉〈乗（り）／のり／ノリ〉〈薄／うす／ウス〉

Google N-gram Corpus Counts
╭─ーーーーー─┬───────┬───────╮
│ 気乗り薄　 │ 1,262 │ 78.3% │
│ 気乗薄　　 │    39 │  2.4% │ - [io] to [sK]
│ 気乗りうす │    34 │  2.1% │ - add, sK
│ きのりうす │     0 │  0.0% │
│ キノリウス │   276 │ 17.1% │
╰─ーーーーー─┴───────┴───────╯

@@ -9 +9,5 @@
-<ke_inf>&io;</ke_inf>
+<ke_inf>&sK;</ke_inf>
+</k_ele>
+<k_ele>
+<keb>気乗りうす</keb>
+<ke_inf>&sK;</ke_inf>

@@ -6,0 +6,4 @@
+</k_ele>
+<k_ele>
+<keb>気乗薄</keb>
+<ke_inf>&io;</ke_inf>

Both GG5 and 中辞典 just have "business activities". I think we'd need some actual evidence, especially for a new first sense.

@@ -12 +11,0 @@
-<gloss>sales</gloss>

Refers mostly to selling, methinks.

@@ -11,0 +12 @@
+<gloss>sales</gloss>

daij, koj

I think this is sufficient for sense 1.

@@ -12,3 +12 @@
-<gloss>meridian (e.g. in acupuncture)</gloss>
-<gloss>channel</gloss>
-<gloss>one of the lines connecting vital points in the body</gloss>
+<gloss>meridian (in traditional Chinese medicine)</gloss>

koj, daij, meikyo

@@ -16,0 +16,5 @@
+<sense>
+<pos>&n;</pos>
+<gloss>thread of connection</gloss>
+<gloss>chain of reasoning</gloss>
+</sense>

Entry created

gg5, daij

Splitting into senses.

@@ -13,2 +12,0 @@
-<xref type="see" seq="1098660">ばたばた・1</xref>
-<xref type="see" seq="1098660">ばたばた・2</xref>
@@ -15,0 +14 @@
+<gloss>to rattle</gloss>
@@ -17,2 +16,9 @@
-<gloss>to rattle</gloss>
-<gloss>to walk around being unable to settle down</gloss>
+<gloss>to flutter</gloss>
+<gloss>to thrash around</gloss>
+</sense>
+<sense>
+<pos>&v5k;</pos>
+<pos>&vi;</pos>
+<gloss>to get in a panic</gloss>
+<gloss>to get in a flap</gloss>
+<gloss>to rush around</gloss>

Entry created

daijs
視交叉	4,121		
視交差	557

@@ -5,0 +6,3 @@
+</k_ele>
+<k_ele>
+<keb>視交差</keb>
@@ -12,0 +16 @@
+<gloss>optic chiasm</gloss>
@@ -14 +17,0 @@
-<gloss>optic chiasm</gloss>

@@ -11,0 +12 @@
+<field>&anat;</field>

Entry created

視神経交叉	233		
視神経交差	59	
視交叉	        4,121		
視交差	        557

I don't think this needs a rare tag. Daijs redirects from 視交叉 to 視神経交叉.

@@ -17 +17,2 @@
-<misc>&rare;</misc>
+<field>&anat;</field>
+<gloss>optic chiasm</gloss>
@@ -19 +19,0 @@
-<gloss>optic chiasm</gloss>

Entry created

Updating x-ref as well

@@ -19 +19 @@
-<xref type="see" seq="2439920">杆体細胞</xref>
+<xref type="see" seq="2439920">桿体細胞</xref>

https://dictionary.goo.ne.jp/word/桿体/

Google N-gram Corpus Counts
╭─ーーーー─┬───────┬───────╮
│ 桿体　　 │ 3,199 │ 50.3% │ - add (gg5 追加語彙, daijisen)
│ 杆体　　 │ 2,803 │ 44.1% │
│ かん体　 │   356 │  5.6% │
├─ーーーー─┼───────┼───────┤
│ 桿状体　 │   523 │ 48.2% │
│ 杆状体　 │   467 │ 43.0% │
│ かん状体 │    95 │  8.8% │
╰─ーーーー─┴───────┴───────╯

@@ -3,0 +4,3 @@
+<k_ele>
+<keb>桿体</keb>
+</k_ele>

koj
杆体	2,803	88.7%	
かん体	356	11.3%

Aligning.

@@ -5 +5 @@
-<keb>かん体</keb>
+<keb>杆体</keb>
@@ -8 +8,2 @@
-<keb>杆体</keb>
+<keb>かん体</keb>
+<ke_inf>&sK;</ke_inf>
@@ -15,2 +16,3 @@
-<xref type="see" seq="2420670">桿状体</xref>
-<gloss>rod (shape of cell)</gloss>
+<xref type="see" seq="2439920">杆体細胞</xref>
+<field>&anat;</field>
+<gloss>rod (cell)</gloss>

Typo:「例の」 meaning, not 「伶の」

GG5 has a "the one and only" example.

Shinsen splits its entry for かの into two senses: one for the　「伶の」 meaning and one for the 「あの」 meaning. The latter sense has a 文章語 tag. 
Koj, iwakoku, and sankoku also describe かの as a more literary form of あの.

I think this entry might be clearer with two senses.

@@ -15 +14,0 @@
-<xref type="see" seq="1000420">彼の・あの</xref>
@@ -17,0 +17,10 @@
+<gloss>the one and only ...</gloss>
+</sense>
+<sense>
+<pos>&adj-pn;</pos>
+<xref type="see" seq="1000420">あの</xref>
+<misc>&form;</misc>
+<misc>&uk;</misc>
+<gloss>that</gloss>
+<gloss>those</gloss>
+<gloss>the</gloss>

Daijr & ルミナス (彼), GG5 & 中辞典 (彼の)

Split from 1000420 - see discussion there.

https://www.iju-join.jp/feature_cont/file/027/index.html
https://www.kobo-shinshu.com/co_diary6/a414e6306a2d30c9c64d068b08205241.html

Not necessarily a foreign country.

@@ -12 +12,3 @@
-<gloss>destination (of immigration)</gloss>
+<gloss>immigration destination</gloss>
+<gloss>place to move to</gloss>
+<gloss>place one has moved to</gloss>

GG5 example.

移住+先 and a bit obvious, but possibly useful.

@@ -12 +11,0 @@
-<gloss>location (to immigrate)</gloss>

Google N-gram Corpus Counts
╭─ーーー─┬────────╮
│ 移住先 │ 20,185 │
╰─ーーー─┴────────╯

found it used like this

〈焼（き）／やき／ヤク〉〈具／ぐ／グ〉〈合（い）／あい／アイ〉

Google N-gram Corpus Counts
╭─ーーーーー─┬────────┬───────╮
│ 焼き具合　 │ 34,976 │ 94.4% │
│ 焼具合　　 │  1,573 │  4.2% │ - add, sK
│ 焼き具合い │    270 │  0.7% │ - add, sK
│ 焼きぐあい │    146 │  0.4% │ - add, sK
│ やき具合　 │     63 │  0.2% │ - add, sK
│ やきぐあい │     22 │  0.1% │
╰─ーーーーー─┴────────┴───────╯

@@ -5,0 +6,16 @@
+</k_ele>
+<k_ele>
+<keb>焼具合</keb>
+<ke_inf>&sK;</ke_inf>
+</k_ele>
+<k_ele>
+<keb>焼き具合い</keb>
+<ke_inf>&sK;</ke_inf>
+</k_ele>
+<k_ele>
+<keb>焼きぐあい</keb>
+<ke_inf>&sK;</ke_inf>
+</k_ele>
+<k_ele>
+<keb>やき具合</keb>
+<ke_inf>&sK;</ke_inf>

Thanks

@@ -15 +15 @@
-<gloss>donenes</gloss>
+<gloss>doneness</gloss>

GG5, 中辞典

@@ -13 +13 @@
-<gloss>doneness</gloss>
+<gloss>extent of roasting or broiling</gloss>
@@ -14,0 +15 @@
+<gloss>donenes</gloss>

https://ejje.weblio.jp/content/焼き具合
wisdom: 「ステーキの焼き具合はどのようにしましょうか」

焼き方	163811	82.3%
焼き具合	34976	17.6%
焼き具合い	270	0.1%

No proper refs, but maybe useful?

I felt it helped the context.

非負 is adj-no.
I don't think the x-ref is needed.

@@ -11,2 +11 @@
-<pos>&n-pref;</pos>
-<xref type="see" seq="1376590">正・せい・4</xref>
+<pos>&adj-no;</pos>
@@ -14 +13 @@
-<gloss>non-positive (negative or zero)</gloss>
+<gloss>non-positive (i.e. negative or zero)</gloss>

Quiet.

I'll pin this down to shorten the queue and reopen it for a while.

Fork

I went to the library today and looked at about fifty or sixty Japanese maths books. More than half of them use the squares, either filled or unfilled. Only one used 証明の終わり, two or three books used 証明終, and about a third of the books used no marker at all. I found no other examples of 証終, but one other thing turned up which was 証了 for the end of the proof. I have a reference somewhere for that book if you are interested.

https://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q14238433999
https://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q10131595015

Thanks for those examples, Ben. I can see it being discussed in that context. I guess not many mathematical proofs turn up as web pages.
I'll lock it in with a note and reopen for further discussion, if any.

@@ -13,3 +13,3 @@
-<gloss>Marker of end of proof in mathematics</gloss>
-<gloss>Quod Erat Demonstrandum</gloss>
-<gloss>Q.E.D.</gloss>
+<s_inf>abbr. of 証明が終わった</s_inf>
+<gloss>end of proof marker</gloss>
+<gloss>QED</gloss>

In a mathematics text the marker of the end of the proof is used to aid the reader to distinguish between the proof's text and whatever remarks the author might add after the proof has finished. It's often marked with a black square or a white square like ■ or □ instead. This usage is restricted to mathematics texts of course, but it's commonly seen even on the internet. 

https://service.zkai.co.jp/books/toudai/pdf/k6.pdf
http://www.misojiro.t.u-tokyo.ac.jp/~murota/lect-kisosuri/cauchyseq041109.pdf
https://www.math.tsukuba.ac.jp/~tange/jugyo/18/slide.pdf

A lot of the PDFs found with Google seem to have the ability to search the text switched off, but there are examples here:

https://horibe.jp/PDFBOX/HD_pi.pdf

As far as I can tell, there are not many Japanese mathematics books available in online form, so what I'll do is go to the library and take some pictures of various random maths books. Hopefully that will be enough to "end the proof" that this is a real word.

Zero n-grams, not in JEs or kokugos. The EJs don't mention it in their QED entries. RP has '証明終り'の意味で証明の末尾に書く.

Maybe a contraction of 証明終り. I think we'd need evidence of its use before adding it.

Fork

A site:ac.jp search brings up some stuff.

https://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q14238433999
https://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q10131595015

Thanks for those examples, Ben. I can see it being discussed in that context. I guess not many mathematical proofs turn up as web pages.
I'll lock it in with a note and reopen for further discussion, if any.

@@ -13,3 +13,3 @@
-<gloss>Marker of end of proof in mathematics</gloss>
-<gloss>Quod Erat Demonstrandum</gloss>
-<gloss>Q.E.D.</gloss>
+<s_inf>abbr. of 証明が終わった</s_inf>
+<gloss>end of proof marker</gloss>
+<gloss>QED</gloss>

In a mathematics text the marker of the end of the proof is used to aid the reader to distinguish between the proof's text and whatever remarks the author might add after the proof has finished. It's often marked with a black square or a white square like ■ or □ instead. This usage is restricted to mathematics texts of course, but it's commonly seen even on the internet. 

https://service.zkai.co.jp/books/toudai/pdf/k6.pdf
http://www.misojiro.t.u-tokyo.ac.jp/~murota/lect-kisosuri/cauchyseq041109.pdf
https://www.math.tsukuba.ac.jp/~tange/jugyo/18/slide.pdf

A lot of the PDFs found with Google seem to have the ability to search the text switched off, but there are examples here:

https://horibe.jp/PDFBOX/HD_pi.pdf

As far as I can tell, there are not many Japanese mathematics books available in online form, so what I'll do is go to the library and take some pictures of various random maths books. Hopefully that will be enough to "end the proof" that this is a real word.

@@ -13 +12,0 @@
-<misc>&abbr;</misc>

Yes, it's not well supported. Best omitted.

@@ -14 +13,0 @@
-<s_inf>from 証明が終わった</s_inf>

I don't think we should say it's an abbr "証明が終わった" unless we're really sure that's ehat it's an abbr of. It culd e.g. be sth like 証明終了 perhaps.

Comments from forked entries:

A* 2024-02-13 09:02:47 	
>> A site:ac.jp search brings up some stuff.

A* 2024-02-13 13:59:37  Ben Bullock
>> I went to the library today and looked at about fifty or sixty Japanese maths books. More than half of them use the squares, either filled or unfilled. Only one used 証明の終わり, two or three books used 証明終, and about a third of the books used no marker at all. I found no other examples of 証終, but one other thing turned up which was 証了 for the end of the proof. I have a reference somewhere for that book if you are interested.

I think this is the usual tag style. (About ~90 entries in the database with the [abbr] tag and sense notes beginning with "from")

I'd gloss this as "end of proof marker" only if it is a name for the ■ symbol. Otherwise we probably shouldn't include the word "marker" in the gloss.

@@ -13,2 +13,3 @@
-<s_inf>abbr. of 証明が終わった</s_inf>
-<gloss>end of proof marker</gloss>
+<misc>&abbr;</misc>
+<s_inf>from 証明が終わった</s_inf>
+<gloss>end of proof</gloss>

gg5, daij, koj
鉄礬土	        25		
ボーキサイト	9,647

獄内	969		
獄内で	325		
獄内の	260		
獄内に	119

Also a noun.

@@ -11,0 +12 @@
+<pos>&n;</pos>

獄内	969

@@ -11,2 +11,3 @@
-<pos>&n;</pos>
-<gloss>In Prison</gloss>
+<pos>&adj-no;</pos>
+<gloss>inside a prison</gloss>
+<gloss>in prison</gloss>

https://dictionary.goo.ne.jp/word/獄内/

WaniKani Level 35 - https://www.wanikani.com/vocabulary?difficulty=hell#level-35

闕下	186
Kokugos

Marginal.

@@ -13,0 +14 @@
+<gloss>in front of the Emperor</gloss>

https://kotobank.jp/word/闕下-490343

https://en.m.wikipedia.org/wiki/Functional_requirement - In software engineering and systems engineering, a functional requirement defines a function of a system or its component, where a function is described as a summary (or specification or statement) of behavior between inputs and outputs.
Reverso

I think it's probably best to define the base term rather than just its non alternative.

@@ -5 +5 @@
-<keb>非機能要件</keb>
+<keb>機能要件</keb>
@@ -8 +8 @@
-<reb>ひきのうようけん</reb>
+<reb>きのうようけん</reb>
@@ -12 +12,3 @@
-<gloss>non-functional requirement</gloss>
+<field>&comp;</field>
+<gloss>functional requirement (of a system or component)</gloss>
+<gloss>capability requirement</gloss>

https://ja.wikipedia.org/wiki/非機能要件

Yes, but quite opaque to people outside the industry. Best not included in this sort of entry.

@@ -13 +12,0 @@
-<gloss>insurance producer</gloss>

https://www.kaplanfinancial.com/resources/getting-started/insurance-producer

Insurance lingo.

@@ -12,0 +13 @@
+<gloss>insurance producer</gloss>

Yes

https://www.orixlife.co.jp/words/003-029.html
生命保険募集人【せいめいほけんぼしゅうにん】

I think じん is wrong.

@@ -8 +8 @@
-<reb>ぼしゅうじん</reb>
+<reb>ぼしゅうにん</reb>

募集人数	488288	  (募集_人数)
募集人員	54853	  (募集_人員)
募集人	32276	  (募集_人)

Seems to be mainly used in insurance.

@@ -12,2 +12,2 @@
-<gloss>selling agent</gloss>
-<gloss>sales producer</gloss>
+<gloss>sales agent (esp. in life insurance)</gloss>
+<gloss>recruiter</gloss>

Seems to be a lot more common now. Plenty of web hits.

@@ -13 +12,0 @@
-<misc>&rare;</misc>

OK

@@ -12,0 +13 @@
+<misc>&rare;</misc>

Let's change it to 高体温症. Judging by the reading, I think that was the intent.

Google N-gram Corpus Counts
╭─ーーーー─┬────────╮
│ 低体温　 │ 70,073 │ - (already an entry)
│ 低体温症 │ 10,236 │ - (already an entry)
│ 高体温　 │  4,880 │ - (gg5 追加語彙; not an entry)
│ 高体温症 │    117 │ - (gg5 追加語彙; this entry)
│ 　体温症 │ 10,361 │
╰─ーーーー─┴────────╯

@@ -5 +5 @@
-<keb>体温症</keb>
+<keb>高体温症</keb>
@@ -12 +12,2 @@
-<gloss>Hyperthermia</gloss>
+<field>&med;</field>
+<gloss>hyperthermia</gloss>

体温症	10361	  (体温_症)
低体温症	10236	  (低_体温_症) <- hypothermia

I think this has been confused with 低体温症, which is already an entry. Hyperthermia, which is NOT the same as hypothermia, is usually 高体温.

https://www.kango-roo.com/word/9057#:~:text=体温症（こうたいおん,が上昇してしまう。

This tweak should make it clear that it's related to a 風俗店.

@@ -13 +13 @@
-<gloss>booking directly with a prostitute (not via a brothel)</gloss>
+<gloss>booking directly with a prostitute (instead of with the brothel)</gloss>

It's at a 風俗店 still according to the sources, which I think is a detail that should be included because I assume this word wouldn't be used for other type of private arrangements.

姫予約	620

Damn; I thought I could reserve a princess.

@@ -12 +12,2 @@
-<gloss>booking a session at a brothel directly with the prostitute (e.g. through social media)</gloss>
+<misc>&col;</misc>
+<gloss>booking directly with a prostitute (not via a brothel)</gloss>

https://qzin.jp/vanilabo/money/34766/

@@ -12 +12 @@
-<gloss>some type of 指名 in prostitution</gloss>
+<gloss>booking a session at a brothel directly with the prostitute (e.g. through social media)</gloss>

https://qzin.jp/vanilabo/money/34766/
https://q-pri.com/s/article/30
https://work-mikke.jp/know-how/guide/61592/
https://awakatsu.com/himeyoyaku/
https://www.girlsheaven-job.net/minque/315605

We don't usually include "Japanese."　And we still do Western name order for people alive during and after Meiji, don't we?

@@ -12 +12 @@
-<gloss>Shibusawa Eiichi (1840-1931; Japanese industrialist)</gloss>
+<gloss>Eiichi Shibusawa (1840-1931; industrialist)</gloss>

* https://en.wikipedia.org/wiki/Shibusawa_Eiichi
* daijr

Known as the "father of Japanese capitalism".

Will be on new currency notes: https://en.wikipedia.org/wiki/Japanese_yen#Series_F_banknotes

@@ -12 +12 @@
-<gloss>Shibusawa Eiichi</gloss>
+<gloss>Shibusawa Eiichi (1840-1931; Japanese industrialist)</gloss>

We only include the nationality for non-Japanese people.

@@ -12 +12 @@
-<gloss>Tsuda Umeko (1864.12.31-1929.8.16; Japanese educator and founder of Tsuda College)</gloss>
+<gloss>Tsuda Umeko (1864.12.31-1929.8.16; educator and founder of Tsuda College)</gloss>

https://en.wikipedia.org/wiki/Tsuda_Umeko

@@ -12 +12 @@
-<gloss>Tsuda Umeko (1864.12.31-1929.8.16)</gloss>
+<gloss>Tsuda Umeko (1864.12.31-1929.8.16; Japanese educator and founder of Tsuda College)</gloss>

We only include the nationality for non-Japanese people.

@@ -12 +12 @@
-<gloss>Kitasato Shibasaburo (1853.1.29-1931.6.13; Japanese physician and bacteriologist)</gloss>
+<gloss>Kitasato Shibasaburo (1853.1.29-1931.6.13; physician and bacteriologist)</gloss>

Odd character.

@@ -12 +12 @@
-<gloss>Kitasato Shibasaburo (1853.1.29-1931.6.13; Japanese physician and bacteriologist​)</gloss>
+<gloss>Kitasato Shibasaburo (1853.1.29-1931.6.13; Japanese physician and bacteriologist)</gloss>

https://en.wikipedia.org/wiki/Kitasato_Shibasaburō

The romanization was correct, but English references like Brittanica have his name written with -sa-. A footnote on enwiki explains this being how he spelled his name in Germany.

@@ -12 +12 @@
-<gloss>Kitazato Shibasaburō (1853.1.29-1931.6.13)</gloss>
+<gloss>Kitasato Shibasaburo (1853.1.29-1931.6.13; Japanese physician and bacteriologist​)</gloss>

saburou conversion
-*- via bulkupd.py -*-

@@ -12 +12 @@
-<gloss>Kitazato Shibasaburou (1853.1.29-1931.6.13)</gloss>
+<gloss>Kitazato Shibasaburō (1853.1.29-1931.6.13)</gloss>