lyx_mirror/lib/fonts
Enrico Forestieri 5a80f7bb6a 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-11 16:42:31 +02:00
..
test Use utf8 as inputenc for documentation, examples, and templates. 2019-05-08 21:29:01 +02:00
BaKoMaFontLicense.txt
cmex10.sfd Move bracketleftbigg to correct position 2016-01-17 10:51:26 +01:00
cmex10.ttf Really regenerate cmex10.ttf from .sfd at af970c20 2016-01-24 11:40:03 +01:00
cmmi10.sfd Add fontforge files 2016-01-16 15:46:48 +01:00
cmmi10.ttf
cmr10.sfd Add fontforge files 2016-01-16 15:46:48 +01:00
cmr10.ttf
cmsy10.sfd Add fontforge files 2016-01-16 15:46:48 +01:00
cmsy10.ttf
dsrom10.sfd Add support for the doublestroke package 2020-06-11 16:42:31 +02:00
dsrom10.ttf Add support for the doublestroke package 2020-06-11 16:42:31 +02:00
esint10.sfd esint10: attempt on to fix empty symbol glyphs. 2018-03-22 02:26:46 +01:00
esint10.ttf esint10: attempt on to fix empty symbol glyphs. 2018-03-22 02:26:46 +01:00
eufm10.sfd Add fontforge files 2016-01-16 15:46:48 +01:00
eufm10.ttf
msam10.sfd Add fontforge files 2016-01-16 15:46:48 +01:00
msam10.ttf
msbm10.sfd Add fontforge files 2016-01-16 15:46:48 +01:00
msbm10.ttf
ReadmeBaKoMa4LyX.txt
rsfs10.sfd Add fontforge files 2016-01-16 15:46:48 +01:00
rsfs10.ttf
stmary10.sfd stmary10 font: fix glyphs codepoints 10,12,13. 2018-03-23 10:18:02 +01:00
stmary10.ttf stmary10 font: fix glyphs codepoints 10,12,13. 2018-03-23 10:18:02 +01:00
wasy10.sfd wasy10 font: fix glyphs codepoints 9,10,12,13. 2018-03-26 21:54:46 +02:00
wasy10.ttf wasy10 font: fix glyphs codepoints 9,10,12,13. 2018-03-26 21:54:46 +02:00