WOLFRAM

Wolfram言語 ＆ システムドキュメントセンター

アップグレード情報：

Utilities`Notation`

Utilities`Notation`のすべての機能が，新規に作成された表記法パッケージで利用できるようになった．

新しい表記法パッケージの機能にアクセスするためには， Notation`をロードする：

Version 5.2 << Utilities`Notation`; Notation[\!\(\* TagBox[ RowBox[{ RowBox[{"x_", " ", SubscriptBox["\[CirclePlus]", "n_"], " ", "y_"}], " "}], "NotationTemplateTag"]\) \[DoubleLongLeftRightArrow] \!\(\* TagBox[ RowBox[{" ", RowBox[{"gplus", "[", RowBox[{"x_", ",", "y_", ",", "n_"}], "]"}]}], "NotationTemplateTag"]\)]; \!\(a\ \*SubscriptBox[\(\[CirclePlus]\), \(n + m\)]\ b\) // FullForm
Wolfram Language code: <<Notation`; Notation[x_ Subscript[⊕, n_] y_ ⟺ gplus[x_, y_, n_]]; a Subscript[⊕, n + m] b // FullForm