diff options
Diffstat (limited to 'font/devhtml')
-rw-r--r-- | font/devhtml/R.proto | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/font/devhtml/R.proto b/font/devhtml/R.proto index 84df8fac..0cd62ff4 100644 --- a/font/devhtml/R.proto +++ b/font/devhtml/R.proto @@ -394,6 +394,7 @@ mo 24 0 0x2208 ∈ nm 24 0 0x2209 ∉ st 24 0 0x220B ∋ product 24 0 0x220F ∏ +coproduct 24 0 0x2210 ∐ sum 24 0 0x2211 ∑ \- 24 0 0x2212 − mi " |