%% Copyright 2003 Paul Pichaureau for the MathDesign Project %% All rights reserved. %% %% This file is part of the mdbch package v1.4 %% -------------------------------------------------- %% %% This program is free software; you can redistribute it and/or %% modify it under the terms of the GNU General Public License %% as published by the Free Software Foundation; either version 2 %% of the License, or (at your option) any later version. %% This program is distributed in the hope that it will be useful, %% but WITHOUT ANY WARRANTY; without even the implied warranty of %% MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the %% GNU General Public License for more details. %% You should have received a copy of the GNU General Public License %% along with this program; if not, write to the Free Software %% Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. %% Public LaTeX Project Public %% This file loads the mdbch font families. %% For more information about options and configuration, please read %% mdbchdoc.pdf or the general MathDesign documentation mddoc.pdf. %% Modified 2005/06/17 by Stephen Hartke for Arev package %% to load only the AMS fonts (no blackboard bold, either) \NeedsTeXFormat{LaTeX2e}% \ProvidesPackage{ams-mdbch}% [2005/05/08 v1.4 Bold mdbch (Math Design Project) to replace AMS fonts] %% ---------------------------------------------------------------- %% Additional fonts %% ---------------------------------------------------------------- %% AMS fonts \RequirePackage{amssymb,amsfonts} %\WarningIfLoaded{ams-mdbch}{amssymb} %\WarningIfLoaded{ams-mdbch}{amsfonts} \DeclareFontEncoding{MDA}{}{} \DeclareFontSubstitution{MDA}{cmr}{m}{n} \DeclareSymbolFont{mathdesignA}{MDA}{mdbch}{b}{n}% % Modified to make bold for Arev, SGH %% \DeclareSymbolFont{mathdesignAI}{MDA}{mdbch}{m}{it}% \SetSymbolFont{mathdesignA} {bold}{MDA}{mdbch}{b}{n}% %% \SetSymbolFont{mathdesignAI} {bold}{MDA}{mdbch}{b}{it}% %% \DeclareSymbolFont{AMSbmdbch}{U}{msbmdbch}{m}{n} %% \DeclareSymbolFontAlphabet{\mdmathbb}{AMSbmdbch} %\DeclareSymbolFontAlphabet{\mdmathbb}{mathdesignA} \DeclareFontEncodingDefaults{\relax}{\def\accentclass@{7}} % The following code borrowed from amsfonts.sty and amsbsy.sty \long\def\@gobblethree#1#2#3{} \def\@subst@obsolete#1#2#3{\@obsolete{#1}#2#3\gdef#2{#3}#2} \if@compatibility \let\@obsolete\@gobblethree \else \def\@obsolete#1#2#3{\PackageWarning{#1}{% Obsolete command \protect#2; \protect#3 should be used instead}}% \fi \DeclareRobustCommand{\bold}[1]{% {\@subst@obsolete{amsfonts}\bold\mathbf{#1}}} \providecommand*{\@mathmeasure}[3]{% \setbox#1\hbox{\frozen@everymath\@emptytoks\m@th$#2#3$}} %\@ifundefined{@emptytoks}{\csname newtoks\endcsname\@emptytoks}{} % \let\mathbb\@undefined % \global\let\mathbb\mdmathbb % \DeclareRobustCommand{\Bbb}[1]{% % {\@subst@obsolete{mdbch}\Bbb\mathbb{#1}}} \xdef\yen{\noexpand\mathhexbox{\hexnumber@\symmathdesignA}D5} \xdef\checkmark{\noexpand\mathhexbox{\hexnumber@\symmathdesignA}D8} \xdef\circledR{\noexpand\mathhexbox{\hexnumber@\symmathdesignA}F2} % \xdef\circledS\textcircled{S} \xdef\maltese{\noexpand\mathhexbox{\hexnumber@\symmathdesignA}FA} \catcode`\"=12 \DeclareMathDelimiter{\ulcorner}{\mathopen} {mathdesignA}{"F0}{mathdesignA}{"F0} \DeclareMathDelimiter{\urcorner}{\mathclose}{mathdesignA}{"F1}{mathdesignA}{"F1} \DeclareMathDelimiter{\llcorner}{\mathopen} {mathdesignA}{"F8}{mathdesignA}{"F8} \DeclareMathDelimiter{\lrcorner}{\mathclose}{mathdesignA}{"F9}{mathdesignA}{"F9} \DeclareMathAccent{\widetilde}{\mathord}{largesymbols}{"65} \DeclareMathAccent{\widehat}{\mathord}{largesymbols}{"62} \DeclareMathSymbol{\dabar@}{\mathord}{mathdesignA}{"B9} \xdef\dashrightarrow{\mathrel{\dabar@\dabar@ \mathchar"0\hexnumber@\symmathdesignA CB}}% \xdef\dashleftarrow{\mathrel{\mathchar"0\hexnumber@\symmathdesignA CC\dabar@\dabar@}}% \global\let\dasharrow\dashrightarrow %% Begin AMSb declarations \DeclareMathSymbol{\lvertneqq} {\mathrel}{mathdesignA}{"00} \DeclareMathSymbol{\gvertneqq} {\mathrel}{mathdesignA}{"01} \DeclareMathSymbol{\nleq} {\mathrel}{mathdesignA}{"02} \DeclareMathSymbol{\ngeq} {\mathrel}{mathdesignA}{"03} \DeclareMathSymbol{\nless} {\mathrel}{mathdesignA}{"04} \DeclareMathSymbol{\ngtr} {\mathrel}{mathdesignA}{"05} \DeclareMathSymbol{\nprec} {\mathrel}{mathdesignA}{"06} \DeclareMathSymbol{\nsucc} {\mathrel}{mathdesignA}{"07} \DeclareMathSymbol{\lneqq} {\mathrel}{mathdesignA}{"08} \DeclareMathSymbol{\gneqq} {\mathrel}{mathdesignA}{"09} \DeclareMathSymbol{\nleqslant} {\mathrel}{mathdesignA}{"0A} \DeclareMathSymbol{\ngeqslant} {\mathrel}{mathdesignA}{"0B} \DeclareMathSymbol{\lneq} {\mathrel}{mathdesignA}{"0C} \DeclareMathSymbol{\gneq} {\mathrel}{mathdesignA}{"0D} \DeclareMathSymbol{\npreceq} {\mathrel}{mathdesignA}{"0E} \DeclareMathSymbol{\nsucceq} {\mathrel}{mathdesignA}{"0F} \DeclareMathSymbol{\precnsim} {\mathrel}{mathdesignA}{"10} \DeclareMathSymbol{\succnsim} {\mathrel}{mathdesignA}{"11} \DeclareMathSymbol{\lnsim} {\mathrel}{mathdesignA}{"12} \DeclareMathSymbol{\gnsim} {\mathrel}{mathdesignA}{"13} \DeclareMathSymbol{\nleqq} {\mathrel}{mathdesignA}{"14} \DeclareMathSymbol{\ngeqq} {\mathrel}{mathdesignA}{"15} \DeclareMathSymbol{\precneqq} {\mathrel}{mathdesignA}{"16} \DeclareMathSymbol{\succneqq} {\mathrel}{mathdesignA}{"17} \DeclareMathSymbol{\precnapprox} {\mathrel}{mathdesignA}{"18} \DeclareMathSymbol{\succnapprox} {\mathrel}{mathdesignA}{"19} \DeclareMathSymbol{\lnapprox} {\mathrel}{mathdesignA}{"1A} \DeclareMathSymbol{\gnapprox} {\mathrel}{mathdesignA}{"1B} \DeclareMathSymbol{\nsim} {\mathrel}{mathdesignA}{"1C} \DeclareMathSymbol{\ncong} {\mathrel}{mathdesignA}{"1D} \DeclareMathSymbol{\diagup} {\mathord}{mathdesignA}{"1E} \DeclareMathSymbol{\diagdown} {\mathord}{mathdesignA}{"1F} \DeclareMathSymbol{\varsubsetneq} {\mathrel}{mathdesignA}{"20} \DeclareMathSymbol{\varsupsetneq} {\mathrel}{mathdesignA}{"21} \DeclareMathSymbol{\nsubseteqq} {\mathrel}{mathdesignA}{"22} \DeclareMathSymbol{\nsupseteqq} {\mathrel}{mathdesignA}{"23} \DeclareMathSymbol{\subsetneqq} {\mathrel}{mathdesignA}{"24} \DeclareMathSymbol{\supsetneqq} {\mathrel}{mathdesignA}{"25} \DeclareMathSymbol{\varsubsetneqq} {\mathrel}{mathdesignA}{"26} \DeclareMathSymbol{\varsupsetneqq} {\mathrel}{mathdesignA}{"27} \DeclareMathSymbol{\subsetneq} {\mathrel}{mathdesignA}{"28} \DeclareMathSymbol{\supsetneq} {\mathrel}{mathdesignA}{"29} \DeclareMathSymbol{\nsubseteq} {\mathrel}{mathdesignA}{"2A} \DeclareMathSymbol{\nsupseteq} {\mathrel}{mathdesignA}{"2B} \DeclareMathSymbol{\nparallel} {\mathrel}{mathdesignA}{"2C} \DeclareMathSymbol{\nmid} {\mathrel}{mathdesignA}{"2D} \DeclareMathSymbol{\nshortmid} {\mathrel}{mathdesignA}{"2E} \DeclareMathSymbol{\nshortparallel} {\mathrel}{mathdesignA}{"2F} \DeclareMathSymbol{\nvdash} {\mathrel}{mathdesignA}{"30} \DeclareMathSymbol{\nVdash} {\mathrel}{mathdesignA}{"31} \DeclareMathSymbol{\nvDash} {\mathrel}{mathdesignA}{"32} \DeclareMathSymbol{\nVDash} {\mathrel}{mathdesignA}{"33} \DeclareMathSymbol{\ntrianglerighteq}{\mathrel}{mathdesignA}{"34} \DeclareMathSymbol{\ntrianglelefteq}{\mathrel}{mathdesignA}{"35} \DeclareMathSymbol{\ntriangleleft} {\mathrel}{mathdesignA}{"36} \DeclareMathSymbol{\ntriangleright} {\mathrel}{mathdesignA}{"37} \DeclareMathSymbol{\nleftarrow} {\mathrel}{mathdesignA}{"38} \DeclareMathSymbol{\nrightarrow} {\mathrel}{mathdesignA}{"39} \DeclareMathSymbol{\nLeftarrow} {\mathrel}{mathdesignA}{"3A} \DeclareMathSymbol{\nRightarrow} {\mathrel}{mathdesignA}{"3B} \DeclareMathSymbol{\nLeftrightarrow}{\mathrel}{mathdesignA}{"3C} \DeclareMathSymbol{\nleftrightarrow}{\mathrel}{mathdesignA}{"3D} \DeclareMathSymbol{\divideontimes} {\mathbin}{mathdesignA}{"3E} \DeclareMathSymbol{\varnothing} {\mathord}{mathdesignA}{"3F} \DeclareMathSymbol{\nexists} {\mathord}{mathdesignA}{"40} \DeclareMathSymbol{\Join} {\mathbin}{mathdesignA}{"5C} \DeclareMathSymbol{\udtimes} {\mathbin}{mathdesignA}{"5D} \DeclareMathSymbol{\utimes} {\mathbin}{mathdesignA}{"5E} \DeclareMathSymbol{\dtimes} {\mathbin}{mathdesignA}{"5F} \DeclareMathSymbol{\Finv} {\mathord}{mathdesignA}{"60} \DeclareMathSymbol{\Game} {\mathord}{mathdesignA}{"61} \DeclareMathSymbol{\eqsim} {\mathrel}{mathdesignA}{"68} \DeclareMathSymbol{\beth} {\mathord}{mathdesignA}{"69} \DeclareMathSymbol{\gimel} {\mathord}{mathdesignA}{"6A} \DeclareMathSymbol{\daleth} {\mathord}{mathdesignA}{"6B} \DeclareMathSymbol{\lessdot} {\mathbin}{mathdesignA}{"6C} \DeclareMathSymbol{\gtrdot} {\mathbin}{mathdesignA}{"6D} \DeclareMathSymbol{\ltimes} {\mathbin}{mathdesignA}{"6E} \DeclareMathSymbol{\rtimes} {\mathbin}{mathdesignA}{"6F} \DeclareMathSymbol{\shortmid} {\mathrel}{mathdesignA}{"70} \DeclareMathSymbol{\shortparallel} {\mathrel}{mathdesignA}{"71} \DeclareMathSymbol{\smallsetminus} {\mathbin}{mathdesignA}{"72} \DeclareMathSymbol{\thicksim} {\mathrel}{mathdesignA}{"73} \DeclareMathSymbol{\thickapprox} {\mathrel}{mathdesignA}{"74} \DeclareMathSymbol{\approxeq} {\mathrel}{mathdesignA}{"75} \DeclareMathSymbol{\succapprox} {\mathrel}{mathdesignA}{"76} \DeclareMathSymbol{\precapprox} {\mathrel}{mathdesignA}{"77} \DeclareMathSymbol{\curvearrowleft} {\mathrel}{mathdesignA}{"78} \DeclareMathSymbol{\curvearrowright}{\mathrel}{mathdesignA}{"79} \DeclareMathSymbol{\digammaup} {\mathord}{mathdesignA}{"7A} \DeclareMathSymbol{\varkappaup} {\mathord}{mathdesignA}{"7B} \DeclareMathSymbol{\digammait} {\mathord}{mathdesignA}{"62} \DeclareMathSymbol{\varkappait} {\mathord}{mathdesignA}{"63} \DeclareMathSymbol{\Bbbk} {\mathord}{mathdesignA}{"7C} \DeclareMathSymbol{\backepsilon} {\mathrel}{mathdesignA}{"7F} \DeclareMathSymbol{\boxdot} {\mathbin}{mathdesignA}{"80} \DeclareMathSymbol{\boxplus} {\mathbin}{mathdesignA}{"81} \DeclareMathSymbol{\boxtimes} {\mathbin}{mathdesignA}{"82} \DeclareMathSymbol{\square} {\mathord}{mathdesignA}{"83} \DeclareMathSymbol{\blacksquare} {\mathord}{mathdesignA}{"84} \DeclareMathSymbol{\centerdot} {\mathbin}{mathdesignA}{"85} \DeclareMathSymbol{\lozenge} {\mathord}{mathdesignA}{"86} \DeclareMathSymbol{\blacklozenge} {\mathord}{mathdesignA}{"87} \DeclareMathSymbol{\circlearrowright} {\mathrel}{mathdesignA}{"88} \DeclareMathSymbol{\circlearrowleft} {\mathrel}{mathdesignA}{"89} %% In amsfonts.sty: \DeclareMathSymbol{\rightleftharpoons}{\mathrel}{mathdesignA}{"8A} \DeclareMathSymbol{\leftrightharpoons} {\mathrel}{mathdesignA}{"8B} \DeclareMathSymbol{\boxminus} {\mathbin}{mathdesignA}{"8C} \DeclareMathSymbol{\Vdash} {\mathrel}{mathdesignA}{"8D} \DeclareMathSymbol{\Vvdash} {\mathrel}{mathdesignA}{"8E} \DeclareMathSymbol{\vDash} {\mathrel}{mathdesignA}{"8F} \DeclareMathSymbol{\twoheadrightarrow} {\mathrel}{mathdesignA}{"90} \DeclareMathSymbol{\twoheadleftarrow} {\mathrel}{mathdesignA}{"91} \DeclareMathSymbol{\leftleftarrows} {\mathrel}{mathdesignA}{"92} \DeclareMathSymbol{\rightrightarrows} {\mathrel}{mathdesignA}{"93} \DeclareMathSymbol{\upuparrows} {\mathrel}{mathdesignA}{"94} \DeclareMathSymbol{\downdownarrows} {\mathrel}{mathdesignA}{"95} \DeclareMathSymbol{\upharpoonright} {\mathrel}{mathdesignA}{"96} \global\let\restriction\upharpoonright \DeclareMathSymbol{\downharpoonright} {\mathrel}{mathdesignA}{"97} \DeclareMathSymbol{\upharpoonleft} {\mathrel}{mathdesignA}{"98} \DeclareMathSymbol{\downharpoonleft}{\mathrel}{mathdesignA}{"99} \DeclareMathSymbol{\rightarrowtail} {\mathrel}{mathdesignA}{"9A} \DeclareMathSymbol{\leftarrowtail} {\mathrel}{mathdesignA}{"9B} \DeclareMathSymbol{\leftrightarrows}{\mathrel}{mathdesignA}{"9C} \DeclareMathSymbol{\rightleftarrows}{\mathrel}{mathdesignA}{"9D} \DeclareMathSymbol{\Lsh} {\mathrel}{mathdesignA}{"9E} \DeclareMathSymbol{\Rsh} {\mathrel}{mathdesignA}{"9F} \DeclareMathSymbol{\rightsquigarrow} {\mathrel}{mathdesignA}{"A0} \DeclareMathSymbol{\leftrightsquigarrow}{\mathrel}{mathdesignA}{"A1} \DeclareMathSymbol{\looparrowleft} {\mathrel}{mathdesignA}{"A2} \DeclareMathSymbol{\looparrowright} {\mathrel}{mathdesignA}{"A3} \DeclareMathSymbol{\circeq} {\mathrel}{mathdesignA}{"A4} \DeclareMathSymbol{\succsim} {\mathrel}{mathdesignA}{"A5} \DeclareMathSymbol{\gtrsim} {\mathrel}{mathdesignA}{"A6} \DeclareMathSymbol{\gtrapprox} {\mathrel}{mathdesignA}{"A7} \DeclareMathSymbol{\multimap} {\mathrel}{mathdesignA}{"A8} \DeclareMathSymbol{\therefore} {\mathrel}{mathdesignA}{"A9} \DeclareMathSymbol{\because} {\mathrel}{mathdesignA}{"AA} \DeclareMathSymbol{\doteqdot} {\mathrel}{mathdesignA}{"AB} \global\let\Doteq\doteqdot \DeclareMathSymbol{\triangleq} {\mathrel}{mathdesignA}{"AC} \DeclareMathSymbol{\precsim} {\mathrel}{mathdesignA}{"AD} \DeclareMathSymbol{\lesssim} {\mathrel}{mathdesignA}{"AE} \DeclareMathSymbol{\lessapprox} {\mathrel}{mathdesignA}{"AF} \DeclareMathSymbol{\eqslantless} {\mathrel}{mathdesignA}{"B0} \DeclareMathSymbol{\eqslantgtr} {\mathrel}{mathdesignA}{"B1} \DeclareMathSymbol{\curlyeqprec} {\mathrel}{mathdesignA}{"B2} \DeclareMathSymbol{\curlyeqsucc} {\mathrel}{mathdesignA}{"B3} \DeclareMathSymbol{\preccurlyeq} {\mathrel}{mathdesignA}{"B4} \DeclareMathSymbol{\leqq} {\mathrel}{mathdesignA}{"B5} \DeclareMathSymbol{\leqslant} {\mathrel}{mathdesignA}{"B6} \DeclareMathSymbol{\lessgtr} {\mathrel}{mathdesignA}{"B7} \DeclareMathSymbol{\backprime} {\mathord}{mathdesignA}{"B8} \DeclareMathSymbol{\risingdotseq} {\mathrel}{mathdesignA}{"BA} \DeclareMathSymbol{\fallingdotseq}{\mathrel}{mathdesignA}{"BB} \DeclareMathSymbol{\succcurlyeq} {\mathrel}{mathdesignA}{"BC} \DeclareMathSymbol{\geqq} {\mathrel}{mathdesignA}{"BD} \DeclareMathSymbol{\geqslant} {\mathrel}{mathdesignA}{"BE} \DeclareMathSymbol{\gtrless} {\mathrel}{mathdesignA}{"BF} \DeclareMathSymbol{\sqsubset} {\mathrel}{mathdesignA}{"C0} \DeclareMathSymbol{\sqsupset} {\mathrel}{mathdesignA}{"C1} \DeclareMathSymbol{\vartriangleright}{\mathrel}{mathdesignA}{"C2} \DeclareMathSymbol{\vartriangleleft} {\mathrel}{mathdesignA}{"C3} \DeclareMathSymbol{\trianglerighteq} {\mathrel}{mathdesignA}{"C4} \DeclareMathSymbol{\trianglelefteq} {\mathrel}{mathdesignA}{"C5} \DeclareMathSymbol{\bigstar} {\mathord}{mathdesignA}{"C6} \DeclareMathSymbol{\between} {\mathrel}{mathdesignA}{"C7} \DeclareMathSymbol{\blacktriangledown} {\mathord}{mathdesignA}{"C8} \DeclareMathSymbol{\blacktriangleright} {\mathrel}{mathdesignA}{"C9} \DeclareMathSymbol{\blacktriangleleft} {\mathrel}{mathdesignA}{"CA} \DeclareMathSymbol{\vartriangle} {\mathrel}{mathdesignA}{"CD} \DeclareMathSymbol{\blacktriangle} {\mathord}{mathdesignA}{"CE} \DeclareMathSymbol{\triangledown} {\mathord}{mathdesignA}{"CF} \DeclareMathSymbol{\eqcirc} {\mathrel}{mathdesignA}{"D0} \DeclareMathSymbol{\lesseqgtr} {\mathrel}{mathdesignA}{"D1} \DeclareMathSymbol{\gtreqless} {\mathrel}{mathdesignA}{"D2} \DeclareMathSymbol{\lesseqqgtr} {\mathrel}{mathdesignA}{"D3} \DeclareMathSymbol{\gtreqqless} {\mathrel}{mathdesignA}{"D4} \DeclareMathSymbol{\Rrightarrow} {\mathrel}{mathdesignA}{"D6} \DeclareMathSymbol{\Lleftarrow} {\mathrel}{mathdesignA}{"D7} \DeclareMathSymbol{\veebar} {\mathbin}{mathdesignA}{"D9} \DeclareMathSymbol{\barwedge} {\mathbin}{mathdesignA}{"DA} \DeclareMathSymbol{\doublebarwedge} {\mathbin}{mathdesignA}{"DB} \DeclareMathSymbol{\angle} {\mathord}{mathdesignA}{"DC} \DeclareMathSymbol{\measuredangle} {\mathord}{mathdesignA}{"DD} \DeclareMathSymbol{\sphericalangle} {\mathord}{mathdesignA}{"DE} \DeclareMathSymbol{\varpropto} {\mathrel}{mathdesignA}{"DF} \DeclareMathSymbol{\smallsmile} {\mathrel}{mathdesignA}{"E0} \DeclareMathSymbol{\smallfrown} {\mathrel}{mathdesignA}{"E1} \DeclareMathSymbol{\Subset} {\mathrel}{mathdesignA}{"E2} \DeclareMathSymbol{\Supset} {\mathrel}{mathdesignA}{"E3} \DeclareMathSymbol{\Cup} {\mathbin}{mathdesignA}{"E4} \global\let\doublecup\Cup \DeclareMathSymbol{\Cap} {\mathbin}{mathdesignA}{"E5} \global\let\doublecap\Cap \DeclareMathSymbol{\curlywedge} {\mathbin}{mathdesignA}{"E6} \DeclareMathSymbol{\curlyvee} {\mathbin}{mathdesignA}{"E7} \DeclareMathSymbol{\leftthreetimes} {\mathbin}{mathdesignA}{"E8} \DeclareMathSymbol{\rightthreetimes}{\mathbin}{mathdesignA}{"E9} \DeclareMathSymbol{\subseteqq} {\mathrel}{mathdesignA}{"EA} \DeclareMathSymbol{\supseteqq} {\mathrel}{mathdesignA}{"EB} \DeclareMathSymbol{\bumpeq} {\mathrel}{mathdesignA}{"EC} \DeclareMathSymbol{\Bumpeq} {\mathrel}{mathdesignA}{"ED} \DeclareMathSymbol{\lll} {\mathrel}{mathdesignA}{"EE} \global\let\llless\lll \DeclareMathSymbol{\ggg} {\mathrel}{mathdesignA}{"EF} \global\let\gggtr\ggg \DeclareMathSymbol{\circledS} {\mathord}{mathdesignA}{"F3} \DeclareMathSymbol{\pitchfork} {\mathrel}{mathdesignA}{"F4} \DeclareMathSymbol{\dotplus} {\mathbin}{mathdesignA}{"F5} \DeclareMathSymbol{\backsim} {\mathrel}{mathdesignA}{"F6} \DeclareMathSymbol{\backsimeq} {\mathrel}{mathdesignA}{"F7} \DeclareMathSymbol{\complement} {\mathord}{mathdesignA}{"FB} \DeclareMathSymbol{\intercal} {\mathbin}{mathdesignA}{"FC} \DeclareMathSymbol{\circledcirc} {\mathbin}{mathdesignA}{"FD} \DeclareMathSymbol{\circledast} {\mathbin}{mathdesignA}{"FE} \DeclareMathSymbol{\circleddash} {\mathbin}{mathdesignA}{"FF} \global\let\lhd\vartriangleleft \global\let\unlhd\vartriangleleft \global\let\rhd\vartriangleright \global\let\unrhd\trianglerighteq \global\let\Box\square \global\let\Diamond\lozenge \global\let\leadsto\rightsquigarrow \endinput