Enrico Forestieri 10e1f90883 Add support for the doublestroke package
This commit adds the mathed command \mathds that selects a
font more appropriate than \mathbb for typesetting the
mathematical symbols for the natural (N), whole numbers (Z),
rational numbers (Q), real numbers (R), complex numbers (C),
and some others.

As in the \mathbb case, only capital letters are supported,
but in addition one can also typeset a symbol often used for
representing the indicator function (\mathds{1}) and the
letters a, h, k.

Fixes bug #11887.
2020-06-12 23:58:32 +02:00
..
2008-04-20 03:20:44 +00:00
2019-02-11 16:47:36 +01:00
2015-05-28 13:14:23 +02:00
2015-04-12 12:59:19 +02:00
2015-04-12 12:59:19 +02:00
2015-03-13 01:29:37 +01:00
2015-03-13 01:29:37 +01:00
2015-03-13 01:29:37 +01:00
2017-07-15 15:27:36 +02:00
2015-04-12 12:59:19 +02:00
2015-04-12 12:59:19 +02:00
2015-03-13 01:29:37 +01:00
2015-03-13 01:29:37 +01:00
2015-03-13 01:29:37 +01:00
2015-03-13 01:29:37 +01:00
2015-03-13 01:29:37 +01:00
2015-04-12 12:59:19 +02:00
2015-03-13 01:29:37 +01:00
2015-03-13 01:29:37 +01:00
2013-12-13 14:06:56 +01:00
2013-12-13 14:06:56 +01:00
2015-03-13 01:29:37 +01:00
2015-04-12 12:59:19 +02:00
2017-07-15 15:27:36 +02:00
2017-07-15 15:27:36 +02:00
2015-03-13 01:29:37 +01:00
2015-03-13 01:29:37 +01:00
2015-03-13 01:29:37 +01:00
2015-03-13 01:29:37 +01:00
2015-03-13 01:29:37 +01:00
2015-03-13 01:29:37 +01:00

Preferabely, use SVG as image format.

For bitmap icons, we had the following advise:

All icons to be used should follow this, so that the icons
look alike.

- size 22x22 pixels

- five color:
	#000000000000
	#BFBFBFBFBFBF
	#FFFFFFFFFFFF
	navy
	#B2B2ABABACAC

- two color:
	#BFBFBFBFBFBF
	black

Hint: for editing a bitmap, remove the 'const' with
a text editor.