Line 1,416:
Line 1,416:
| <math>A\!</math>
| <math>A\!</math>
|
|
−
〈<math>\mathcal{A}</math>〉<br>
+
<math>\langle \mathcal{A} \rangle</math><br>
−
〈<math>a_1, \ldots, a_n</math>〉<br>
+
<math>\langle a_1, \ldots, a_n \rangle</math><br>
−
{‹<math>a_1, \ldots, a_n</math>›}<br>
+
<math>\{ (a_1, \ldots, a_n) \}\!</math>
<math>A_1 \times \ldots \times A_n</math><br>
<math>A_1 \times \ldots \times A_n</math><br>
<math>\prod_i A_i\!</math>
<math>\prod_i A_i\!</math>
Line 1,452:
Line 1,452:
|
|
<math>(\mathbb{B}^n, (\mathbb{B}^n \to \mathbb{B}))</math><br>
<math>(\mathbb{B}^n, (\mathbb{B}^n \to \mathbb{B}))</math><br>
−
<math>(\mathbb{B}^n + \to \mathbb{B})</math><br>
+
<math>(\mathbb{B}^n\ +\!\to \mathbb{B})</math><br>
<math>[\mathbb{B}^n]</math>
<math>[\mathbb{B}^n]</math>
|}
|}
<br>
<br>