Mathjaxでrestriction map/functionを書く。 基本的にはtex/latexと同じである。 method1 Definition:Restriction/Mapping - ProofWiki Proofwikiやでは|の過度な仕様を避けるため、harpoon \(\upharpoonright\) 記号を使うことを推奨している。 f_{\restric…