%%% File : (htmlgen/html/)math.hva
%%%
%%% This file is loaded by 'hevea.hva'.
%%% However, the commands are called from the respective definitions,
%%% which are in amssymb.hva or symb-ent.hva, depending on whether they
%%% require the amssymb package or not.
%%%
%%% 'not currently supported' means that those unicode slots were vacant
%%% in the charts at the time this file was written.
%%%
%%% Blackboard Bold letters (no lowercase)
\newcommand{\one@mathbb}[1]{%
\ifthenelse{\equal{#1}{A}}{\@print{𝔸}}{%
\ifthenelse{\equal{#1}{B}}{\@print{𝔹}}{%
\ifthenelse{\equal{#1}{C}}{\@print{}}{% not currently supported
\ifthenelse{\equal{#1}{D}}{\@print{𝔻}}{%
\ifthenelse{\equal{#1}{E}}{\@print{𝔼}}{%
\ifthenelse{\equal{#1}{F}}{\@print{𝔽}}{%
\ifthenelse{\equal{#1}{G}}{\@print{𝔾}}{%
\ifthenelse{\equal{#1}{H}}{\@print{}}{% not currently supported
\ifthenelse{\equal{#1}{I}}{\@print{𝕀}}{%
\ifthenelse{\equal{#1}{J}}{\@print{𝕁}}{%
\ifthenelse{\equal{#1}{K}}{\@print{𝕂}}{%
\ifthenelse{\equal{#1}{L}}{\@print{𝕃}}{%
\ifthenelse{\equal{#1}{M}}{\@print{𝕄}}{%
\ifthenelse{\equal{#1}{N}}{\@print{}}{% not currently supported
\ifthenelse{\equal{#1}{O}}{\@print{𝕆}}{%
\ifthenelse{\equal{#1}{P}}{\@print{}}{% not currently supported
\ifthenelse{\equal{#1}{Q}}{\@print{}}{% not currently supported
\ifthenelse{\equal{#1}{R}}{\@print{}}{% not currently supported
\ifthenelse{\equal{#1}{S}}{\@print{𝕊}}{%
\ifthenelse{\equal{#1}{T}}{\@print{𝕋}}{%
\ifthenelse{\equal{#1}{U}}{\@print{𝕌}}{%
\ifthenelse{\equal{#1}{V}}{\@print{𝕍}}{%
\ifthenelse{\equal{#1}{W}}{\@print{𝕎}}{%
\ifthenelse{\equal{#1}{X}}{\@print{𝕏}}{%
\ifthenelse{\equal{#1}{Y}}{\@print{𝕐}}{%
\ifthenelse{\equal{#1}{Z}}{\@print{}}{% not currently supported
}}}}}}}}}}}}}}}}}}}}}}}}}}}%
%%%
%%% Fraktur letters (no lowercase)
%%%
\newcommand{\one@mathfrak}[1]{%
\ifthenelse{\equal{#1}{A}}{\@print{𝔄}}{%
\ifthenelse{\equal{#1}{B}}{\@print{𝔅}}{%
\ifthenelse{\equal{#1}{C}}{\@print{}}{% not currently supported
\ifthenelse{\equal{#1}{D}}{\@print{𝔇}}{%
\ifthenelse{\equal{#1}{E}}{\@print{𝔈}}{%
\ifthenelse{\equal{#1}{F}}{\@print{𝔉}}{%
\ifthenelse{\equal{#1}{G}}{\@print{𝔊}}{%
\ifthenelse{\equal{#1}{H}}{\@print{}}{% not currently supported
\ifthenelse{\equal{#1}{I}}{\@print{}}{% not currently supported
\ifthenelse{\equal{#1}{J}}{\@print{𝔍}}{%
\ifthenelse{\equal{#1}{K}}{\@print{𝔎}}{%
\ifthenelse{\equal{#1}{L}}{\@print{𝔏}}{%
\ifthenelse{\equal{#1}{M}}{\@print{𝔐}}{%
\ifthenelse{\equal{#1}{N}}{\@print{𝔑}}{%
\ifthenelse{\equal{#1}{O}}{\@print{𝔒}}{%
\ifthenelse{\equal{#1}{P}}{\@print{𝔓}}{%
\ifthenelse{\equal{#1}{Q}}{\@print{𝔔}}{%
\ifthenelse{\equal{#1}{R}}{\@print{}}{% not currently supported
\ifthenelse{\equal{#1}{S}}{\@print{𝔖}}{%
\ifthenelse{\equal{#1}{T}}{\@print{𝔗}}{%
\ifthenelse{\equal{#1}{U}}{\@print{𝔘}}{%
\ifthenelse{\equal{#1}{V}}{\@print{𝔙}}{%
\ifthenelse{\equal{#1}{W}}{\@print{𝔚}}{%
\ifthenelse{\equal{#1}{X}}{\@print{𝔛}}{%
\ifthenelse{\equal{#1}{Y}}{\@print{𝔜}}{%
\ifthenelse{\equal{#1}{Z}}{\@print{}}{% not currently supported
\ifthenelse{\equal{#1}{a}}{\@print{𝔞}}{%
\ifthenelse{\equal{#1}{b}}{\@print{𝔟}}{%
\ifthenelse{\equal{#1}{c}}{\@print{𝔠}}{%
\ifthenelse{\equal{#1}{d}}{\@print{𝔡}}{%
\ifthenelse{\equal{#1}{e}}{\@print{𝔢}}{%
\ifthenelse{\equal{#1}{f}}{\@print{𝔣}}{%
\ifthenelse{\equal{#1}{g}}{\@print{𝔤}}{%
\ifthenelse{\equal{#1}{h}}{\@print{𝔥}}{%
\ifthenelse{\equal{#1}{i}}{\@print{𝔦}}{%
\ifthenelse{\equal{#1}{j}}{\@print{𝔧}}{%
\ifthenelse{\equal{#1}{k}}{\@print{𝔨}}{%
\ifthenelse{\equal{#1}{l}}{\@print{𝔩}}{%
\ifthenelse{\equal{#1}{m}}{\@print{𝔪}}{%
\ifthenelse{\equal{#1}{n}}{\@print{𝔫}}{%
\ifthenelse{\equal{#1}{o}}{\@print{𝔬}}{%
\ifthenelse{\equal{#1}{p}}{\@print{𝔭}}{%
\ifthenelse{\equal{#1}{q}}{\@print{𝔮}}{%
\ifthenelse{\equal{#1}{r}}{\@print{𝔯}}{%
\ifthenelse{\equal{#1}{s}}{\@print{𝔰}}{%
\ifthenelse{\equal{#1}{t}}{\@print{𝔱}}{%
\ifthenelse{\equal{#1}{u}}{\@print{𝔲}}{%
\ifthenelse{\equal{#1}{v}}{\@print{𝔳}}{%
\ifthenelse{\equal{#1}{w}}{\@print{𝔴}}{%
\ifthenelse{\equal{#1}{x}}{\@print{𝔵}}{%
\ifthenelse{\equal{#1}{y}}{\@print{𝔶}}{%
\ifthenelse{\equal{#1}{z}}{\@print{𝔷}}{%
\ifthenelse{\equal{#1}{1}}{\@print{1}}{%
\ifthenelse{\equal{#1}{2}}{\@print{2}}{%
\ifthenelse{\equal{#1}{3}}{\@print{3}}{%
\ifthenelse{\equal{#1}{4}}{\@print{4}}{%
\ifthenelse{\equal{#1}{5}}{\@print{5}}{%
\ifthenelse{\equal{#1}{6}}{\@print{6}}{%
\ifthenelse{\equal{#1}{7}}{\@print{7}}{%
\ifthenelse{\equal{#1}{8}}{\@print{8}}{%
\ifthenelse{\equal{#1}{9}}{\@print{9}}{%
\ifthenelse{\equal{#1}{0}}{\@print{0}}{%
}}}}}}}}}}%
}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}%
%%%
%%% Simple Font letters (allows lowercase and digits)
%%%
\newcommand{\one@mathsf}[1]{%
\ifthenelse{\equal{#1}{A}}{\@print{𝖠}}{%
\ifthenelse{\equal{#1}{B}}{\@print{𝖡}}{%
\ifthenelse{\equal{#1}{C}}{\@print{𝖢}}{%
\ifthenelse{\equal{#1}{D}}{\@print{𝖣}}{%
\ifthenelse{\equal{#1}{E}}{\@print{𝖤}}{%
\ifthenelse{\equal{#1}{F}}{\@print{𝖥}}{%
\ifthenelse{\equal{#1}{G}}{\@print{𝖦}}{%
\ifthenelse{\equal{#1}{H}}{\@print{𝖧}}{%
\ifthenelse{\equal{#1}{I}}{\@print{𝖨}}{%
\ifthenelse{\equal{#1}{J}}{\@print{𝖩}}{%
\ifthenelse{\equal{#1}{K}}{\@print{𝖪}}{%
\ifthenelse{\equal{#1}{L}}{\@print{𝖫}}{%
\ifthenelse{\equal{#1}{M}}{\@print{𝖬}}{%
\ifthenelse{\equal{#1}{N}}{\@print{𝖭}}{%
\ifthenelse{\equal{#1}{O}}{\@print{𝖮}}{%
\ifthenelse{\equal{#1}{P}}{\@print{𝖯}}{%
\ifthenelse{\equal{#1}{Q}}{\@print{𝖰}}{%
\ifthenelse{\equal{#1}{R}}{\@print{𝖱}}{%
\ifthenelse{\equal{#1}{S}}{\@print{𝖲}}{%
\ifthenelse{\equal{#1}{T}}{\@print{𝖳}}{%
\ifthenelse{\equal{#1}{U}}{\@print{𝖴}}{%
\ifthenelse{\equal{#1}{V}}{\@print{𝖵}}{%
\ifthenelse{\equal{#1}{W}}{\@print{𝖶}}{%
\ifthenelse{\equal{#1}{X}}{\@print{𝖷}}{%
\ifthenelse{\equal{#1}{Y}}{\@print{𝖸}}{%
\ifthenelse{\equal{#1}{Z}}{\@print{𝖹}}{%
\ifthenelse{\equal{#1}{a}}{\@print{𝖺}}{%
\ifthenelse{\equal{#1}{b}}{\@print{𝖻}}{%
\ifthenelse{\equal{#1}{c}}{\@print{𝖼}}{%
\ifthenelse{\equal{#1}{d}}{\@print{𝖽}}{%
\ifthenelse{\equal{#1}{e}}{\@print{𝖾}}{%
\ifthenelse{\equal{#1}{f}}{\@print{𝖿}}{%
\ifthenelse{\equal{#1}{g}}{\@print{𝗀}}{%
\ifthenelse{\equal{#1}{h}}{\@print{𝗁}}{%
\ifthenelse{\equal{#1}{i}}{\@print{𝗂}}{%
\ifthenelse{\equal{#1}{j}}{\@print{𝗃}}{%
\ifthenelse{\equal{#1}{k}}{\@print{𝗄}}{%
\ifthenelse{\equal{#1}{l}}{\@print{𝗅}}{%
\ifthenelse{\equal{#1}{m}}{\@print{𝗆}}{%
\ifthenelse{\equal{#1}{n}}{\@print{𝗇}}{%
\ifthenelse{\equal{#1}{o}}{\@print{𝗈}}{%
\ifthenelse{\equal{#1}{p}}{\@print{𝗉}}{%
\ifthenelse{\equal{#1}{q}}{\@print{𝗊}}{%
\ifthenelse{\equal{#1}{r}}{\@print{𝗋}}{%
\ifthenelse{\equal{#1}{s}}{\@print{𝗌}}{%
\ifthenelse{\equal{#1}{t}}{\@print{𝗍}}{%
\ifthenelse{\equal{#1}{u}}{\@print{𝗎}}{%
\ifthenelse{\equal{#1}{v}}{\@print{𝗏}}{%
\ifthenelse{\equal{#1}{w}}{\@print{𝗐}}{%
\ifthenelse{\equal{#1}{x}}{\@print{𝗑}}{%
\ifthenelse{\equal{#1}{y}}{\@print{𝗒}}{%
\ifthenelse{\equal{#1}{z}}{\@print{𝗓}}{%
\ifthenelse{\equal{#1}{1}}{\@print{1}}{%
\ifthenelse{\equal{#1}{2}}{\@print{2}}{%
\ifthenelse{\equal{#1}{3}}{\@print{3}}{%
\ifthenelse{\equal{#1}{4}}{\@print{4}}{%
\ifthenelse{\equal{#1}{5}}{\@print{5}}{%
\ifthenelse{\equal{#1}{6}}{\@print{6}}{%
\ifthenelse{\equal{#1}{7}}{\@print{7}}{%
\ifthenelse{\equal{#1}{8}}{\@print{8}}{%
\ifthenelse{\equal{#1}{9}}{\@print{9}}{%
\ifthenelse{\equal{#1}{0}}{\@print{0}}{%
}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}%
%%%
%%% Calligraphic letters (no lowercase)
%%%
\newcommand{\one@mathcal}[1]{%
\ifthenelse{\equal{#1}{A}}{\@print{𝒜}}{%
\ifthenelse{\equal{#1}{B}}{\@print{}}{% not currently supported
\ifthenelse{\equal{#1}{C}}{\@print{𝒞}}{%
\ifthenelse{\equal{#1}{D}}{\@print{𝒟}}{%
\ifthenelse{\equal{#1}{E}}{\@print{}}{% not currently supported
\ifthenelse{\equal{#1}{F}}{\@print{}}{% not currently supported
\ifthenelse{\equal{#1}{G}}{\@print{𝒢}}{%
\ifthenelse{\equal{#1}{H}}{\@print{}}{% not currently supported
\ifthenelse{\equal{#1}{I}}{\@print{}}{% not currently supported
\ifthenelse{\equal{#1}{J}}{\@print{𝒥}}{%
\ifthenelse{\equal{#1}{K}}{\@print{𝒦}}{%
\ifthenelse{\equal{#1}{L}}{\@print{}}{% not currently supported
\ifthenelse{\equal{#1}{M}}{\@print{}}{% not currently supported
\ifthenelse{\equal{#1}{N}}{\@print{𝒩}}{%
\ifthenelse{\equal{#1}{O}}{\@print{𝒪}}{%
\ifthenelse{\equal{#1}{P}}{\@print{𝒫}}{%
\ifthenelse{\equal{#1}{Q}}{\@print{𝒬}}{%
\ifthenelse{\equal{#1}{R}}{\@print{}}{% not currently supported
\ifthenelse{\equal{#1}{S}}{\@print{𝒮}}{%
\ifthenelse{\equal{#1}{T}}{\@print{𝒯}}{%
\ifthenelse{\equal{#1}{U}}{\@print{𝒰}}{%
\ifthenelse{\equal{#1}{V}}{\@print{𝒱}}{%
\ifthenelse{\equal{#1}{W}}{\@print{𝒲}}{%
\ifthenelse{\equal{#1}{X}}{\@print{𝒳}}{%
\ifthenelse{\equal{#1}{Y}}{\@print{𝒴}}{%
\ifthenelse{\equal{#1}{Z}}{\@print{𝒵}}{%
\ifthenelse{\equal{#1}{1}}{\@print{1}}{%
\ifthenelse{\equal{#1}{2}}{\@print{2}}{%
\ifthenelse{\equal{#1}{3}}{\@print{3}}{%
\ifthenelse{\equal{#1}{4}}{\@print{4}}{%
\ifthenelse{\equal{#1}{5}}{\@print{5}}{%
\ifthenelse{\equal{#1}{6}}{\@print{6}}{%
\ifthenelse{\equal{#1}{7}}{\@print{7}}{%
\ifthenelse{\equal{#1}{8}}{\@print{8}}{%
\ifthenelse{\equal{#1}{9}}{\@print{9}}{%
\ifthenelse{\equal{#1}{0}}{\@print{0}}{%
}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}%
%%%
%%% Typewriter style letters (allows lowercase and digits)
%%%
\newcommand{\one@mathtt}[1]{%
\ifthenelse{\equal{#1}{A}}{\@print{𝙰}}{%
\ifthenelse{\equal{#1}{B}}{\@print{𝙱}}{%
\ifthenelse{\equal{#1}{C}}{\@print{𝙲}}{%
\ifthenelse{\equal{#1}{D}}{\@print{𝙳}}{%
\ifthenelse{\equal{#1}{E}}{\@print{𝙴}}{%
\ifthenelse{\equal{#1}{F}}{\@print{𝙵}}{%
\ifthenelse{\equal{#1}{G}}{\@print{𝙶}}{%
\ifthenelse{\equal{#1}{H}}{\@print{𝙷}}{%
\ifthenelse{\equal{#1}{I}}{\@print{𝙸}}{%
\ifthenelse{\equal{#1}{J}}{\@print{𝙹}}{%
\ifthenelse{\equal{#1}{K}}{\@print{𝙺}}{%
\ifthenelse{\equal{#1}{L}}{\@print{𝙻}}{%
\ifthenelse{\equal{#1}{M}}{\@print{𝙼}}{%
\ifthenelse{\equal{#1}{N}}{\@print{𝙽}}{%
\ifthenelse{\equal{#1}{O}}{\@print{𝙾}}{%
\ifthenelse{\equal{#1}{P}}{\@print{𝙿}}{%
\ifthenelse{\equal{#1}{Q}}{\@print{𝚀}}{%
\ifthenelse{\equal{#1}{R}}{\@print{𝚁}}{%
\ifthenelse{\equal{#1}{S}}{\@print{𝚂}}{%
\ifthenelse{\equal{#1}{T}}{\@print{𝚃}}{%
\ifthenelse{\equal{#1}{U}}{\@print{𝚄}}{%
\ifthenelse{\equal{#1}{V}}{\@print{𝚅}}{%
\ifthenelse{\equal{#1}{W}}{\@print{𝚆}}{%
\ifthenelse{\equal{#1}{X}}{\@print{𝚇}}{%
\ifthenelse{\equal{#1}{Y}}{\@print{𝚈}}{%
\ifthenelse{\equal{#1}{Z}}{\@print{𝚉}}{%
\ifthenelse{\equal{#1}{a}}{\@print{𝚊}}{%
\ifthenelse{\equal{#1}{b}}{\@print{𝚋}}{%
\ifthenelse{\equal{#1}{c}}{\@print{𝚌}}{%
\ifthenelse{\equal{#1}{d}}{\@print{𝚍}}{%
\ifthenelse{\equal{#1}{e}}{\@print{𝚎}}{%
\ifthenelse{\equal{#1}{f}}{\@print{𝚏}}{%
\ifthenelse{\equal{#1}{g}}{\@print{𝚐}}{%
\ifthenelse{\equal{#1}{h}}{\@print{𝚑}}{%
\ifthenelse{\equal{#1}{i}}{\@print{𝚒}}{%
\ifthenelse{\equal{#1}{j}}{\@print{𝚓}}{%
\ifthenelse{\equal{#1}{k}}{\@print{𝚔}}{%
\ifthenelse{\equal{#1}{l}}{\@print{𝚕}}{%
\ifthenelse{\equal{#1}{m}}{\@print{𝚖}}{%
\ifthenelse{\equal{#1}{n}}{\@print{𝚗}}{%
\ifthenelse{\equal{#1}{o}}{\@print{𝚘}}{%
\ifthenelse{\equal{#1}{p}}{\@print{𝚙}}{%
\ifthenelse{\equal{#1}{q}}{\@print{𝚚}}{%
\ifthenelse{\equal{#1}{r}}{\@print{𝚛}}{%
\ifthenelse{\equal{#1}{s}}{\@print{𝚜}}{%
\ifthenelse{\equal{#1}{t}}{\@print{𝚝}}{%
\ifthenelse{\equal{#1}{u}}{\@print{𝚞}}{%
\ifthenelse{\equal{#1}{v}}{\@print{𝚟}}{%
\ifthenelse{\equal{#1}{w}}{\@print{𝚠}}{%
\ifthenelse{\equal{#1}{x}}{\@print{𝚡}}{%
\ifthenelse{\equal{#1}{y}}{\@print{𝚢}}{%
\ifthenelse{\equal{#1}{z}}{\@print{𝚣}}{%
\ifthenelse{\equal{#1}{1}}{\@print{𝟷}}{%
\ifthenelse{\equal{#1}{2}}{\@print{𝟸}}{%
\ifthenelse{\equal{#1}{3}}{\@print{𝟹}}{%
\ifthenelse{\equal{#1}{4}}{\@print{𝟺}}{%
\ifthenelse{\equal{#1}{5}}{\@print{𝟻}}{%
\ifthenelse{\equal{#1}{6}}{\@print{𝟼}}{%
\ifthenelse{\equal{#1}{7}}{\@print{𝟽}}{%
\ifthenelse{\equal{#1}{8}}{\@print{𝟾}}{%
\ifthenelse{\equal{#1}{9}}{\@print{𝟿}}{%
\ifthenelse{\equal{#1}{0}}{\@print{𝟶}}{%
}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}%
\newcommand{\check}[1]{%
\ifthenelse{\equal{#1}{C}}{\@print{Č}}{%
\ifthenelse{\equal{#1}{c}}{\@print{č}}{%
\ifthenelse{\equal{#1}{D}}{\@print{Ď}}{%
\ifthenelse{\equal{#1}{E}}{\@print{Ě}}{%
\ifthenelse{\equal{#1}{e}}{\@print{ě}}{%
\ifthenelse{\equal{#1}{N}}{\@print{Ň}}{%
\ifthenelse{\equal{#1}{n}}{\@print{Ň}}{%
\ifthenelse{\equal{#1}{R}}{\@print{Ř}}{%
\ifthenelse{\equal{#1}{r}}{\@print{ř}}{%
\ifthenelse{\equal{#1}{S}}{\@print{Š}}{%
\ifthenelse{\equal{#1}{s}}{\@print{š}}{%
\ifthenelse{\equal{#1}{T}}{\@print{ť}}{%
\ifthenelse{\equal{#1}{Z}}{\@print{Ž}}{%
\ifthenelse{\equal{#1}{z}}{\@print{ž}}{%
#1%
}}}}}}}}}}}}}}}%
%\newcommand\acute[1]{#1}
%\newcommand\check[1]{#1}
%\newcommand\grave[1]{#1}
%\newcommand\dot[1]{#1}
%\newcommand\ddot[1]{#1}
%\newcommand\breve[1]{#1}
%\newcommand\hat[1]{#1}
%\newcommand\vec[1]{#1}
%\newcommand\bar[1]{#1}
%\newcommand\tilde[1]{#1}