MathJax
Mathjaxでrestriction map/functionを書く。 基本的にはtex/latexと同じである。 method1 Definition:Restriction/Mapping - ProofWiki Proofwikiやでは|の過度な仕様を避けるため、harpoon \(\upharpoonright\) 記号を使うことを推奨している。 f_{\restric…
MathJaxで証明終了の記号をかく。 記号自体は\Boxで与えられるが、右寄せにhtmlタグを使う必要がある。 <div class="QED" style="text-align: right">$\Box$</div> class="QED"は特に意味がないので、消しても良い。