演算子の入力形

文字あるいは文字のようなもの，さらに構造的な要素を Mathematica は演算子として扱う．Mathematica はこれらを演算子として解釈する組込み規則を持っている．しかし，これらの演算子に対応する関数のすべてに組込みの評価規則が存在するとは限らない．組込みの評価規則が存在する関数には，以下の表においてマーク()が付いている．

exprおよびexpri	任意の式
symb	任意のシンボル
patt	任意のパターンオブジェクト
stringおよびstringi	文字，文字的な記号，数字等の文字列（例："cccc"）
filename	string と同じであるが，次に示す文字も使用可能である
	組込みの評価規則が存在する

演算子の入力形の表において使われるオブジェクト

演算子の形	完全形	グループ化
数を表す形（数を参照）
記号を表す形（シンボル名とコンテキストを参照）
文字列を表す形（文字列を参照）
e11 e12 ... e21 e22 ... ...	{{e11,e12,...},{e21,e22,...},...}
e11 e12 e21 e22 ...	Piecewise[{{e11,e12},{e21,e22},...}]
expr::string	MessageName[expr,"string"]
expr::string1::string2	MessageName[expr,"string1","string2"]
#を含む形（補助的な入力形を参照）
%を含む形（補助的な入力形を参照）
_を含む形（補助的な入力形を参照）
<<filename	Get["filename"]
	Overscript[expr1,expr2]
expr1\&expr2	Overscript[expr1,expr2]	e\&(e\&e)
	Underscript[expr1,expr2]
expr1\+expr2	Underscript[expr1,expr2]	e\+(e\+e)
	Underoverscript[expr1,expr2,expr3]
expr1\+expr2\%expr3	Underoverscript[expr1,expr2,expr3]
expr1\&expr2\%expr3	Underoverscript[expr1,expr3,expr2]
expr1expr2	Subscript[expr1,expr2]	e(ee)
expr1\_expr2	Subscript[expr1,expr2]	e\_(e\_e)
expr1\_expr2\%expr3	Power[Subscript[expr1,expr2],expr3]
\!boxes	（boxes の解釈形)
expr1?expr2	PatternTest[expr1,expr2]
expr1[expr2,...]	expr1[expr2,...]	(e[e])[e]
expr1[[expr2,...]]	Part[expr1,expr2,...]	(e[[e]])[[e]]
expr1expr2,...	Part[expr1,expr2,...]	(ee)e
expr1expr2	Part[expr1,expr2,...]	(ee)e
\*expr	（expr から構成されたボックス）
expr++	Increment[expr]
expr--	Decrement[expr]
++expr	PreIncrement[expr]
--expr	PreDecrement[expr]
expr1@expr2	expr1[expr2]	e@(e@e)
expr1 expr2	（不可視の適用，expr1 Esc @ Esc expr2として入力）
	expr1[expr2]
expr1~expr2~expr3	expr2[expr1,expr3]	(e~e~e)~e~e
expr1/@expr2	Map[expr1,expr2]	e/@(e/@e)
expr1//@expr2	MapAll[expr1,expr2]	e//@(e//@e)
expr1@@expr2	Apply[expr1,expr2]	e@@(e@@e)
expr1@@@expr2	Apply[expr1,expr2,{1}]	e@@@(e@@@e)
expr!	Factorial[expr]
expr!!	Factorial2[expr]
expr*	Conjugate[expr]
expr	Transpose[expr]
expr	ConjugateTranspose[expr]
expr	ConjugateTranspose[expr]
expr'	Derivative[1][expr]
expr''...' (n 回)	Derivative[n][expr]
expr1<>expr2<>expr3	StringJoin[expr1,expr2,expr3]	e<>e<>e
expr1^expr2	Power[expr1,expr2]	e^(e^e)
expr1expr2	Power[expr1,expr2]	e(ee)
	Power[Subscript[expr1,expr2],expr3]
expr1\^expr2\%expr3	Power[Subscript[expr1,expr3],expr2]
垂直矢印とベクトル操作
	Sqrt[expr]
\@ expr	Sqrt[expr]	\@(\@ e)
\@ expr\%n	Power[expr,1/n]
expr1 expr2	Integrate[expr1,expr2]	( e e) e
e3e4	Integrate[e3,{e4,e1,e2}]	( e e) e
その他の積分演算子
expr1expr2	D[expr2,expr1]	e(ee)
expr	Del[expr]	(e)
expr1expr2	DiscreteShift[expr2,expr1]	e(ee)
expr1expr2	DiscreteRatio[expr2,expr1]	e(ee)
expr1expr2	DifferenceDelta[expr2,expr1]	e(ee)
expr	Square[expr]	( e)
expr1 expr2 expr3	SmallCircle[expr1,expr2,expr3]	e e e
expr1 expr2 expr3	CircleDot[expr1,expr2,expr3]	e e e
expr1**expr2**expr3	NonCommutativeMultiply[expr1,expr2,expr3]	e**e**e
expr1expr2expr3	Cross[expr1,expr2,expr3]	eee
expr1.expr2.expr3	Dot[expr1,expr2,expr3]	e.e.e
-expr	Times[-1,expr]
+expr	expr
±expr	PlusMinus[expr]
expr	MinusPlus[expr]
expr1/expr2	expr1(expr2)^-1	(e/e)/e
expr1÷expr2	Divide[expr1,expr2]	(e÷e)÷e
expr1\/expr2	Divide[expr1,expr2]	(e\/e)\/e
expr1\expr2\expr3	Backslash[expr1,expr2,expr3]	e\e\e
expr1expr2expr3	Diamond[expr1,expr2,expr3]	eee
expr1expr2expr3	Wedge[expr1,expr2,expr3]	eee
expr1expr2expr3	Vee[expr1,expr2,expr3]	eee
expr1expr2expr3	CircleTimes[expr1,expr2,expr3]	eee
expr1expr2expr3	CenterDot[expr1,expr2,expr3]	eee
expr1 expr2 expr3	Times[expr1,expr2,expr3]	e e e
expr1*expr2*expr3	Times[expr1,expr2,expr3]	e*e*e
expr1×expr2×expr3	Times[expr1,expr2,expr3]	e×e×e
expr1expr2expr3	Star[expr1,expr2,expr3]	eee
e4	Product[e4,{e1,e2,e3}]	( e)
expr1expr2expr3	VerticalTilde[expr1,expr2,expr3]	eee
expr1expr2expr3	Coproduct[expr1,expr2,expr3]	eee
expr1expr2expr3	Cap[expr1,expr2,expr3]	eee
expr1expr2expr3	Cup[expr1,expr2,expr3]	eee
expr1 expr2 expr3	CirclePlus[expr1,expr2,expr3]	eee
expr1 expr2	CircleMinus[expr1,expr2]	(e e) e
e4	Sum[e4,{e1,e2,e3}]	( e)
expr1+expr2+expr3	Plus[expr1,expr2,expr3]	e+e+e
expr1-expr2	expr1+(-1expr2)	(e-e)-e
expr1±expr2	PlusMinus[expr1,expr2]	(e±e)±e
expr1expr2	MinusPlus[expr1,expr2]	(ee)e
expr1expr2	Intersection[expr1,expr2]	eee
その他の積集合演算子
expr1expr2	Union[expr1,expr2]	eee
その他の和集合演算子
i;;j;;k	Span[i,j,k]	e;;e;;e
expr1expr2	Equal[expr1,expr2]	eee
expr1expr2	Equal[expr1,expr2]	eee
expr1expr2	Equal[expr1,expr2]	eee
expr1 expr2	Unequal[expr1,expr2]	eee
expr1expr2	Unequal[expr1,expr2]	eee
その他の方程式・類似演算子
expr1>expr2	Greater[expr1,expr2]	e>e>e
expr1>=expr2	GreaterEqual[expr1,expr2]	e>=e>=e
expr1≥expr2	GreaterEqual[expr1,expr2]	e≥e≥e
expr1expr2	GreaterEqual[expr1,expr2]	eee
expr1<expr2	Less[expr1,expr2]	e<e<e
expr1<=expr2	LessEqual[expr1,expr2]	e<=e<=e
expr1≤expr2	LessEqual[expr1,expr2]	e≤e≤e
expr1expr2	LessEqual[expr1,expr2]	eee
その他の順序付け演算子
expr1|expr2	VerticalBar[expr1,expr2]	e|e|e
expr1expr2	NotVerticalBar[expr1,expr2]	eee
expr1expr2	DoubleVerticalBar[expr1,expr2]	eee
expr1expr2	NotDoubleVerticalBar[expr1,expr2]	eee
水平矢印とベクトル操作演算子
対角矢印演算子
expr1expr2	SameQ[expr1,expr2]	eee
expr1expr2	UnsameQ[expr1,expr2]	eee
expr1expr2	Element[expr1,expr2]	eee
expr1expr2	NotElement[expr1,expr2]	eee
expr1expr2	Subset[expr1,expr2]	eee
expr1expr2	Superset[expr1,expr2]	eee
その他の集合関係演算子
expr1expr2	ForAll[expr1,expr2]	e(ee)
expr1expr2	Exists[expr1,expr2]	e(ee)
expr1expr2	NotExists[expr1,expr2]	e(ee)
!expr	Not[expr]	!(!e)
¬expr	Not[expr]	¬(¬e)
expr1&&expr2&&expr3	And[expr1,expr2,expr3]	e&&e&&e
expr1expr2expr3	And[expr1,expr2,expr3]	eee
expr1expr2expr3	Nand[expr1,expr2,expr3]	eee
expr1expr2expr3	Xor[expr1,expr2,expr3]	eee
expr1expr2expr3	Xnor[expr1,expr2,expr3]	eee
expr1||expr2||expr3	Or[expr1,expr2,expr3]	e||e||e
expr1expr2expr3	Or[expr1,expr2,expr3]	eee
expr1expr2expr3	Nor[expr1,expr2,expr3]	eee
expr1expr2expr3	Equivalent[expr1,expr2,expr3]	eee
expr1expr2	Implies[expr1,expr2]	e(ee)
expr1expr2	Implies[expr1,expr2]	eee
expr1expr2	RightTee[expr1,expr2]	e(ee)
expr1expr2	DoubleRightTee[expr1,expr2]	e(ee)
expr1expr2	LeftTee[expr1,expr2]	(ee)e
expr1expr2	DoubleLeftTee[expr1,expr2]	(ee)e
expr1expr2	SuchThat[expr1,expr2]	e(ee)
expr..	Repeated[expr]
expr...	RepeatedNull[expr]
expr1|expr2	Alternatives[expr1,expr2]	e|e|e
symb:expr	Pattern[symb,expr]
patt:expr	Optional[patt,expr]
expr1~~expr2~~expr3	StringExpression[expr1,expr2,expr3]	e~~e~~e
expr1/;expr2	Condition[expr1,expr2]	(e/;e)/;e
expr1->expr2	Rule[expr1,expr2]	e->(e->e)
expr1→expr2	Rule[expr1,expr2]	e→(e→e)
expr1:>expr2	RuleDelayed[expr1,expr2]	e:>(e:>e)
expr1 expr2	RuleDelayed[expr1,expr2]	e(ee)
expr1/.expr2	ReplaceAll[expr1,expr2]	(e/.e)/.e
expr1//.expr2	ReplaceRepeated[expr1,expr2]	(e//.e)//.e
expr1+=expr2	AddTo[expr1,expr2]	e+=(e+=e)
expr1-=expr2	SubtractFrom[expr1,expr2]	e-=(e-=e)
expr1*=expr2	TimesBy[expr1,expr2]	e*=(e*=e)
expr1/=expr2	DivideBy[expr1,expr2]	e/=(e/=e)
expr&	Function[expr]
expr1:expr2	Colon[expr1:expr2]	e:e:e
expr1//expr2	expr2[expr1]	(e//e)//e
expr1expr2	VerticalSeparator[expr1,expr2]	eee
expr1expr2	Therefore[expr1,expr2]	e(ee)
expr1expr2	Because[expr1,expr2]	(ee)e
expr1=expr2	Set[expr1,expr2]	e=(e=e)
expr1:=expr2	SetDelayed[expr1,expr2]	e:=(e:=e)
expr1^=expr2	UpSet[expr1,expr2]	e^=(e^=e)
expr1^:=expr2	UpSetDelayed[expr1,expr2]	e^:=(e^:=e)
symb/:expr1=expr2	TagSet[symb,expr1,expr2]
symb/:expr1:=expr2	TagSetDelayed[symb,expr1,expr2]
expr=.	Unset[expr]
symb/:expr=.	TagUnset[symb,expr]
expr1expr2	Function[{expr1},expr2]	e(ee)
expr>>filename	Put[expr,"filename"]
expr>>>filename	PutAppend[expr,"filename"]
expr1;expr2;expr3	CompoundExpression[expr1,expr2,expr3]
expr1;expr2;	CompoundExpression[expr1,expr2,Null]
expr1\`expr2	FormBox[expr2,expr1]	e\`(e\`e)

演算子の入力形（優先度の高い順から並んでいる）

補助的な入力形（上から優先度の高い順に並んでいる）

特殊文字

演算子として使われる特殊文字は，演算子が表す関数と同じ名前を持つ．例えば，特殊文字の名前は\[CirclePlus]であり，関数CirclePlusを表している．例外として，\[GreaterSlantEqual]，\[LessSlantEqual]，\[RoundImplies]がある．

キーボードの文字 特殊文字 -> \[Rule] → :> \[RuleDelayed] \[Equal] = \[NotEqual] ≠

キーボードの文字 特殊文字 >= \[GreaterEqual] ≥ >= \[GreaterSlantEqual] <= \[LessEqual] ≤ <= \[LessSlantEqual]

解釈が等価なキーボード文字と特殊文字

キーボードの文字 特殊文字 \[RawColon] : \[Colon] : \[RawTilde] ~ \[Tilde] \[RawWedge] ^ \[Wedge] \[RawWedge] ^ \[And] \[RawStar] * \[Star] \[RawBackslash] \ \[Backslash] \

キーボードの文字 特殊文字 \[RawDot] . \[CenterDot] \[RawVerticalBar] | \[VerticalBar] | \[RawVerticalBar] | \[VerticalSeparator] \[RawVerticalBar] | \[LeftBracketingBar] \[RawDash] - \[Dash] - ... \[Ellipsis] ...

解釈が異なるキーボード文字と特殊文字

優先順位と入力形の並び順

入力形の表では優先順位が高い順に並べられていて，また，同一の欄にある入力形は同じ優先順位を持つ．表では同一の優先度が2つのページにまたがらないようになっている．「式の特殊な入力法」で説明したように，入力した式の各項は優先順位に従ってまとめられる．一般的にはがより高い優先順位を持つ場合，abc は a (bc)と解釈され，abc は (ab)c と解釈される．

入力形のグループ化

積分演算子の優先順位

上記の表において expr₁ expr₂のような「外側」が優先される形式は，Powerよりも優先順位が低く，また，のように「内側」が優先される形式よりは優先順位が高い，という位置にある．「外側」優先はいつ expr₂をカッコでくくればよいかを決定し，「内側」優先はいつ expr₁をカッコでくくればよいかを決定する．

スペースと乗算

• x y z x*y*z

• 2x 2*x

• 2(x+1) 2*(x+1)

• c(x+1) c*(x+1)

• (x+1)(y+2) (x+1)*(y+2)

• x! y x!*y

• x!y x!*y

乗算の記述法

注意を要するいくつかの例

スペースを避けた方がよい場合

間隔調整文字

• キーボードのスペースキーを使った通常の入力記号名 (\[RawSpace])

• \[VeryThinSpace]，\[ThinSpace]，...，\[ThickSpace]

• \[NegativeVeryThinSpace]，\[NegativeThinSpace]，...，\[NegativeThickSpace]

• (\[SpaceIndicator])

キーボードのスペースと等しい働きをする間隔調整文字

関係演算子

ファイル名

その他

• Mathematica シンタックス

関連するチュートリアル

• 入力文法