%% This BibTeX bibliography file was created using BibDesk. %% https://bibdesk.sourceforge.io/ %% Created for Conden Chao at 2019-12-10 22:42:23 +0800 %% Saved with string encoding Unicode (UTF-8) @misc{Sllj2021, Addendum = {初稿.}, Author = {赵晓玉}, Language = {chinese}, Title = {数理逻辑: 形式化方法的应用}, Type = {Z}, Year = {2021}} @misc{Lsyc2017, Addendum = {初稿.}, Author = {赵晓玉}, Language = {chinese}, Title = {\LaTeX{}中文用户实用手册}, Type = {Z}, Year = {2017}} @book{Tcmf1980, Author = {Knuth, D. E.}, Location = {California}, Publisher = {Stanford University}, Title = {The Computer Modern Family of Typefaces}, Type = {M}, Year = {1980}} @misc{Imut2009, Author = {Knuth, D. E.}, Date = {2009-01}, Title = {Important Message to All Users of \TeX{}}, Type = {Z/OL}, Url = {https://www-cs-faculty.stanford.edu/~knuth/cm.html}, Urldate = {2020-09-04}, Bdsk-Url-1 = {https://www-cs-faculty.stanford.edu/~knuth/cm.html}} @misc{Rsrm1991, Author = {R. Smith}, Date = {1991-10-27}, Title = {Readme}, Type = {Z/OL}, Url = {https://www.ctan.org/tex-archive/fonts/rsfs}, Urldate = {2021-12-11}, Bdsk-Url-1 = {https://www.ctan.org/tex-archive/fonts/rsfs}} @misc{Uams2002, Author = {American~Mathematical~Society}, Date = {2002-01}, Title = {User's Guide to AMSFonts Version 2.2d}, Type = {Z/OL}, Url = {https://mirrors.tuna.tsinghua.edu.cn/CTAN/fonts/amsfonts/doc/amsfndoc.pdf}, Urldate = {2021-12-11}, Bdsk-Url-1 = {https://mirrors.tuna.tsinghua.edu.cn/CTAN/fonts/amsfonts/doc/amsfndoc.pdf}} @misc{Tnps2006, Author = {Linotype}, Location = {GmbH}, Publisher = {Linotype}, Title = {The New Palatino{\texttrademark} Sans: A Supplement to Palatino Nova Designed by Hermann Zapf}, Type = {Z/OL}, Url = {http://www.linotype.co.jp/linotype%20volumes/Palatino%20Sans%20Brochure.pdf}, Urldate = {2020-09-04}, Year = {2006}, Bdsk-Url-1 = {http://www.linotype.co.jp/linotype%20volumes/Palatino%20Sans%20Brochure.pdf}} @misc{Ramf2013, Author = {American~Mathematical~Society}, Date = {2013-01-14}, Title = {Readme for \texttt{amsfonts} 3.04}, Type = {Z/OL}, Url = {https://www.ctan.org/tex-archive/fonts/amsfonts}, Urldate = {2021-12-11}, Bdsk-Url-1 = {https://www.ctan.org/tex-archive/fonts/amsfonts}} @misc{Tdsf1998, Author = {O. Kummer}, Date = {1998-09-06}, Title = {The Doublestroke Font V1.0}, Type = {Z/OL}, Url = {http://www.ctex.org/documents/packages/math/dsdoc.pdf}, Urldate = {2021-12-29}, Bdsk-Url-1 = {http://www.ctex.org/documents/packages/math/dsdoc.pdf}} @misc{Tpvd1997, Author = {O. Kummer}, Date = {1997-07-08}, Title = {The Preview Document}, Type = {Z/OL}, Url = {https://mirrors.tuna.tsinghua.edu.cn/CTAN/info/symbols/blackboard/blackboard.ps}, Urldate = {2021-12-11}, Bdsk-Url-1 = {https://mirrors.tuna.tsinghua.edu.cn/CTAN/info/symbols/blackboard/blackboard.ps}} @misc{Tmap2021, title={The \textsf{mathalpha}, AKA \textsf{mathalfa} Package}, author={M. Sharpe}, type={Z/OL}, date={2021-11-18}, url={https://mirrors.tuna.tsinghua.edu.cn/CTAN/macros/latex/contrib/mathalpha/doc/mathalpha-doc.pdf}, Urldate = {2021-12-11}, Bdsk-Url-1 = {https://mirrors.tuna.tsinghua.edu.cn/CTAN/macros/latex/contrib/mathalpha/doc/mathalpha-doc.pdf}} @misc{Asfm2006, title={A Survey of Free Math Fonts for \TeX{} and \LaTeX{}}, author={Hartke, S. G.}, type={Z/OL}, date={2006-05-06}, url={https://mirrors.tuna.tsinghua.edu.cn/CTAN/info/Free_Math_Font_Survey/en/survey.pdf}, Urldate = {2021-12-11}, Bdsk-Url-1 = {https://mirrors.tuna.tsinghua.edu.cn/CTANinfo/Free_Math_Font_Survey/en/survey.pdf}} @misc{Rdme2021, Author = {A. Tsolomitis}, Date = {2021-12-09}, Title = {Readme}, Type = {Z/OL}, Url = {https://mirrors.tuna.tsinghua.edu.cn/CTAN/fonts/newcomputermodern/README}, Urldate = {2021-12-11}, Bdsk-Url-1 = {https://mirrors.tuna.tsinghua.edu.cn/CTAN/fonts/newcomputermodern/README}} @misc{Arch2020, Author = {E. Gregorio}, Date = {2020-03-02}, Title = {A Reply to ``What are \TeX{} Codes for Hebrew Letters to Be Used as Math-Mode Symbols?"}, Type = {Z/OL}, Url = {https://tex.stackexchange.com/a/226850/140814}, Urldate = {2021-12-08}, Bdsk-Url-1 = {https://tex.stackexchange.com/a/226850/140814}} @misc{Arhi2021, Author = {D. Carlisle}, Date = {2021-08-20}, Title = {A Reply to ``How to Invoke Aleph, Beth, Gimel and Daleth Only in the Latin Modern Math Font?"}, Type = {Z/OL}, Url = {https://tex.stackexchange.com/a/611616/140814}, Urldate = {2021-12-08}, Bdsk-Url-1 = {https://tex.stackexchange.com/a/611616/140814}} @misc{Arab2017, Author = {H. Oberdiek}, Date = {2017-04-13}, Title = {A Reply to ``How to Get Aleph and Beth Symbols in Similar Font?"}, Type = {Z/OL}, Url = {https://tex.stackexchange.com/a/170494/140814}, Urldate = {2021-12-08}, Bdsk-Url-1 = {https://tex.stackexchange.com/a/170494/140814}} @misc{Wwdb2020, Author = {M. Logic}, Date = {2020-09-04}, Title = {Who Designed the Mathematical Blackboard Bold Letters of \AmS{}, and When?}, Type = {Z/OL}, Url = {https://tex.stackexchange.com/q/561380/140814}, Urldate = {2021-12-08}, Bdsk-Url-1 = {https://tex.stackexchange.com/q/561380/140814}} @misc{Wdvs2020, Author = {E. Gregorio}, Date = {2020-01-27}, Title = {A Reply to ``What Does the \texttt{\textbackslash var} Prefix Stand for in \texttt{\textbackslash varphi} and \texttt{\textbackslash varepsilon} Etc?"}, Type = {Z/OL}, Url = {https://tex.stackexchange.com/a/304576/140814}, Urldate = {2021-12-25}, Bdsk-Url-1 = {https://tex.stackexchange.com/a/304576/140814}} @misc{Tcpb2020, Author = {C.(赵晓玉) Chao and S. Murugaiah}, Date = {2020-09-17}, Title = {The \texttt{cmathbb} Package: To Call Mathematical Blackboard Bold Characters Compatible with the Computer Modern Font Family, Version 1.0}, Type = {Z/OL}, Url = {https://mirrors.tuna.tsinghua.edu.cn/CTAN/fonts/cmathbb/doc/cmathbb.pdf}, Urldate = {2021-12-11}, Bdsk-Url-1 = {https://mirrors.tuna.tsinghua.edu.cn/CTAN/fonts/cmathbb/doc/cmathbb.pdf}} @book{Mmil2016, Author = {G. Gr{\"a}tzer}, Edition = {5}, Location = {Cham, Heidelberg, New York, Dordrecht and London}, Publisher = {Springer}, Title = {More Math into \LaTeX{}}, Type = {M}, Year = {2016}}