演算子
四則演算のたぐいを表す演算子、たとえば和を表す "+" や積を表す "×" などは二項演算子である。算術演算においては多くの場合、二つの被演算子はひとつの代数系から取られた同種のものであり、結果も同種であることが多い。
二項演算子(英: binary operator)とは、二つの被演算子から一つの結果を得る演算を表す演算子。数学での写像を表現するのに通常は前置記法で書くのに対して、二項演算子は中置記法で書くことが多い。つまり、"k + 3" のように演算子を二つの被演算子の中間に置く。
二項演算を2変数の関数として、B(·, ·) のように関数子と括弧とコンマを用いた形式で(「·」の位置にそれぞれ適当な被演算子を配置して)表すこともしばしばある。このような形式で被演算子を併記する方法では二項以上の多項演算も表現することができる。明示的な関数子をもたない場合もあり、例えば内積 "<·, ·>", 微分作用素(リー代数)の括弧積(リーのブラケット)"[·, ·]", ポアソン括弧 "{·, ·}", ルジャンドル記号 "(· / ·)" などが挙げられる。これらは複数の記号で一つの演算子の働きをする。また、例えば二項係数の2種類の記法
∙ C ∙ , ( ∙ ∙ ) {\displaystyle {}_{\bullet }{\rm {C}}_{\bullet },\quad {\bullet \choose \bullet }}
のように、一つの演算に対して複数の異なる記法の(場合によっては形式も異なる)演算子が用いられていることもある。
Pascalの系統では、代入に := を用い、比較等号(等価演算子)には = を用いる。
C言語の系統では、代入に = を用い、比較等号(等価演算子)には == を用いる。代入式は値を持ち、= だけでは文脈によって違いを判断できない。
BASICの系統では、代入にも比較等号(等価演算子)にも = を用いる。代入は式ではなく文であり、= が代入と比較のどちらを意味するかは文脈によって決まる。
また、PHPやJavaScriptのように、== と === という、異なる比較基準の演算子を持つ言語もある。